Extensions of first order logic / María Manzano
Material type:
TextSeries: Cambridge tracts in theoretical computer science 1999-0691101-8Publisher: Cambridge Cambridge Univ. Press 1996Description: xxii, 388 sISBN: 0521354358Subject(s): Symbolisk logik | Axioms | First-order logic | Logic, Symbolic and mathematical | Mathematical logic | Axiom | Logik | First-order logic | LogikDDC classification: 511.3 | 511.3 Other classification: Dca | QA 9 | 511 | Dca
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Book (loan) | Gräsvik | 511 (Browse shelf) | Available | 40000007634 |
S. [352]-363: Bibliografi
There are no comments on this title.