Semantical investigations in Heyting's intuitionistic logic

Gabbay, Dov M.

Semantical investigations in Heyting's intuitionistic logic - - Dordrecht D. Reidel, 1981 - x,287 p. 22 cm - .

90-277-1202-60



Intutionistic mathematics
Heyting, Arend-1898-

517.1 Gab

Powered by Koha