Semantical investigations in Heyting's intuitionistic logic

By: Gabbay, Dov MContributor(s): Language: English Series: Publication details: Dordrecht ; D. Reidel, ; 1981Edition: Description: x,287 p; 22 cmISBN: 90-277-1202-60Subject(s): | Intutionistic mathematics | Heyting, Arend-1898-
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Notes Date due Barcode Item holds
Books Books Central Library, IITB
Compact Storage - Basement Area 		517.1 Gab Available C05B09 109884
Total holds: 0

There are no comments on this title.

to post a comment.
Share

Powered by Koha