COLLECTED WORKS
By: Godel, Kurt.
Contributor(s): Feferman, Solomon.
Material type: BookPublisher: New York Oup 1986Description: v.Subject(s): Logic, Symbolic And Mathematical -- Collected WorksDDC classification: 511.3 | G542cItem type | Current location | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Withdrawn | PK Kelkar Library, IIT Kanpur | General Stacks | 511.3 G542c (Browse shelf) | Item withdrawn Not for loan | A93938 |
Total holds: 0
Browsing PK Kelkar Library, IIT Kanpur Shelves , Collection code: General Stacks Close shelf browser
511.3 F989 FUZZY AUTOMATA AND DECISION PROCESSES | 511.3 G431aE ALGEBRAIC LOGIC | 511.3 G441P PROOFS AND TYPES | 511.3 G542c COLLECTED WORKS | 511.3 G65l Logic as a tool | 511.3 G72P PROOF THEORY AND AUTOMATES DEDUCTION | 511.3 G929o AN OUTLINE OF MATHEMATICAL LOGIC |
Contents. -- V. 1. Publications 1929-1936
Prepared Under The Auspices Of The Association For Symbolic Logic
There are no comments for this item.