Seminario Naishtat / Lógica modal temporal

jueves, noviembre 17, 2005

J. M. Cresswell

Possibility Semantics for Intuitionistic Logic