A deductive theory of space and time
By: Basri, Saul A.
Contributor(s): Brouwer, L. E. J. [Ed.] | Heyting, A [Ed.] | Robinson, A. [Ed.].
Material type:![materialTypeLabel](/opac-tmpl/lib/famfamfam/BK.png)
Item type | Current location | Collection | Call number | url | Copy number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|---|
![]() |
PK Kelkar Library, IIT Kanpur | COMPACT STORAGE (BASEMENT) | 160 St9 (Browse shelf) | Book Request | v.41 | Available | K8884 |
Total holds: 0
Browsing PK Kelkar Library, IIT Kanpur Shelves , Collection code: COMPACT STORAGE (BASEMENT) Close shelf browser
160 ST9 ASPECTS OF INDUCTIVE LOGIC | 160 St9 Sets, models and recursion theory | 160 ST9 ANCIENT FORMAL LOGIC | 160 St9 A deductive theory of space and time | 160 ST9 THE FOUNDATIONS OF INTUITIONISTIC MATHEMATICS | 160 ST9 OUTLINES OF A FORMALIST PHILOSOPHY OF MATHEMATICS | 160 ST9 RECURSIVE ANALYSIS |
There are no comments for this item.