Semantical investigations in Heyting's intuitionistic logic
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-Item type | Current library | Call number | Status | Notes | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Books | Central Library, IITB Compact Storage - Basement Area | 517.1 Gab | Available | C05B09 | 109884 |
Total holds: 0
There are no comments on this title.