Normal view MARC view ISBD view

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 - .

ISBN: 90-277-1202-60

Subjects--Topical Terms:

Intutionistic mathematics
Heyting, Arend-1898-

Universal Decimal Class. No.: 517.1 Gab

Print
Add to your cart (remove)
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)