Catalog Record: Semantical investigations in Heyting's intuitionistic logic | HathiTrust Digital Library

Available Indexes

Semantical investigations in Heyting's intuitionistic logic /
Dov M. Gabbay.

Tools

Main Author: Gabbay, Dov M., 1945-
Language(s): English
Published: Dordrecht, Holland ; D. Reidel Pub. Co. ; c1981.
Subjects: Heyting, A. > Heyting, A. / (Arend), > Heyting, A. / (Arend), / 1898-
Intuitionistic mathematics.
Physical Description: x, 287 p. ; 23 cm.
ISBN: 9027712026
Locate a Print Version: Find in a library

Viewability

Item Link Original Source
Limited (search only) University of California