Semantical investigations in Heyting's intuitionistic logic /

Bibliographic Details
Main Author:	Gabbay, Dov M., 1945-
Format:	Book
Language:	English
Published:	Dordrecht, Holland ; Boston : D. Reidel Pub. Co. ; [1981]
Series:	Synthese library ; v. 148
Subjects:	Heyting, A. > (Arend), > 1898- Intuitionistic mathematics.

Remote Storage