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
There are no comments on this title.