Custom cover image
Custom cover image

Tableau systems for first order number theory and certain higher order theories / Sue Toledo

By: Resource type: Ressourcentyp: BuchBookLanguage: English Series: Lecture notes in mathematics ; 447Publisher: Berlin [u.a.] : Springer, 1975Description: 339 S. : graph. DarstISBN:
  • 3540071490
  • 0387071490
Subject(s): Additional physical formats: Erscheint auch als: Tableau Systems for First Order Number Theory and Certain Higher Order Theories. Online-Ausgabe Berlin, Heidelberg : Springer Berlin Heidelberg, 1975. Online-Ressource (IV, 348 p, online resource)DDC classification:
  • 510/.8
  • s
  • 511/.3
  • 510/.8 s
  • 510/.8 s 511/.3
RVK: RVK: SI 850 | CC 2600LOC classification:
  • QA3
  • QA9.54
PPN: PPN: 022567100
Holdings
Item type Home library Shelving location Call number Status Barcode
Freihandbestand ausleihbar Fachbibliothek Mathematik Bibliothek / frei aufgestellt Lect. notes / 447 Available 36286455090
Freihandbestand ausleihbar Fachbibliothek Mathematik Bibliothek / frei aufgestellt Lect. notes / 447 Available 36286411090
Total holds: 0