First-Order Logic
Series: Ergebnisse der Mathematik und ihrer Grenzgebiete 43Publisher: New York: Dover Publication, Inc.; 1995Description: 158pISBN: 9780486683706Subject(s): Gentzen Systems - Magic Sets | Systems of Linear ReasoningDDC classification: 511.3Item type | Home library | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
General Books | SOET Library | Mathematical Eng. | 511.3 SMU (Browse shelf) | Available | T0011234 |
Total holds: 0
Browsing SOET Library shelves, Shelving location: General Stacks, Collection: Mathematical Eng. Close shelf browser
510 KHA Mathematics-1 | 510 KRE Advanced Engineering Mathematics | 510.92 NAS A Beautiful Mind: A Biography of John Forbes Nash, Jr Winner of the Nobel Prize in Economics.1994 | 511.3 SMU First-Order Logic | 512.02 Basic Abstract Algebra | 512.5 ANT Elementary Linear Algebra: Applications Version | 512.5 JAN Linear Algebra |
There are no comments on this title.