First-order logic
By: Smullyan, Raymond M.
Material type: BookPublisher: Berlin Springer-Verlag 1968Description: xii, 158p.Subject(s): First Order LogicDDC classification: 164 | Sm85fItem type | Current location | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Books | PK Kelkar Library, IIT Kanpur | General Stacks | 164 Sm85f (Browse shelf) | Available | K13202 |
Total holds: 0
Browsing PK Kelkar Library, IIT Kanpur Shelves , Collection code: General Stacks Close shelf browser
164 R27E ELEMENTS OF SYMBOLIC LOGIC | 164 R73L LOGIC FOR MATHEMATICIANS | 164 R73L LOGIC FOR MATHEMATICIANS | 164 Sm85f First-order logic | 164 T17L LOGIC,SEMANTICS,METAMATHEMATICS | 164 W184S A SURVEY OF MATHEMATICAL LOGIC | 164 W78T TRACTATUS LOGICO-PHILOSOPHICUS |
There are no comments for this item.