Sets, models and recursion theory : proceedings...
Contributor(s): Crossley, John N [ed.].
Material type: BookSeries: Studies in logic and the foundations of mathematics / edited by A. Heyting. Publisher: Amsterdam North-Holland Publishing 1967Description: 340p.Subject(s): Logic, Symbolic and mathematical | Set theoryDDC classification: 510 | Su 64sItem type | Current location | Collection | Call number | url | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
Books | PK Kelkar Library, IIT Kanpur | COMPACT STORAGE (BASEMENT) | 510 Su 64s (Browse shelf) | Book Request | Available | K1655 | ||
Books | PK Kelkar Library, IIT Kanpur | COMPACT STORAGE (BASEMENT) | 160 St9 (Browse shelf) | Book Request | Available | A5758 |
Total holds: 0
Browsing PK Kelkar Library, IIT Kanpur Shelves , Collection code: COMPACT STORAGE (BASEMENT) Close shelf browser
160 ST82 LOGICO-LINGUISTIC PAPERS | 160 ST82I COP.2 INTRODUCTION TO LOGICAL THEORY | 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 |
summer school in mathematical logic and tenth logic colloquium leicester
There are no comments for this item.