Verfasst von: | Toledo, Sue |
---|---|
Titel: | Tableau systems for first order number theory and certain higher order theories |
Verf.angabe: | Sue Toledo |
Verlagsort: | Berlin [u.a.] |
Verlag: | Springer |
Jahr: | 1975 |
Umfang: | 339 S. |
Illustrationen: | graph. Darst. |
Gesamttitel/Reihe: | Lecture notes in mathematics ; 447 |
Fussnoten: | Literaturverz. S. 335 - 339 |
ISBN: | 3-540-07149-0 |
0-387-07149-0 | |
978-3-540-07149-5 | |
978-0-387-07149-7 | |
URL: | Cover ; Verlag: http://swbplus.bsz-bw.de/bsz01105803Xcov.htm |
Inhaltsverzeichnis ; Verlag: http://www.gbv.de/dms/hbz/toc/ht000910033.pdf | |
Inhaltsverzeichnis: http://digitale-objekte.hbz-nrw.de/webclient/DeliveryManager?pid=2008964&custom_att_2=simple_viewer | |
Schlagwörter: | (s)Zahlentheorie |
(s)Mathematische Logik | |
Sprache: | eng |
Reproduktion: | Online-Ausg.: Toledo, Sue: Tableau Systems for First Order Number Theory and Certain Higher Order Theories. - Berlin, Heidelberg: Springer Berlin Heidelberg, 1975. - Online-Ressource (IV, 348 p, online resource) |
RVK-Notation: | SI 850 |
CC 2600 | |
K10plus-PPN: | 022567100 |
Verknüpfungen: | → Übergeordnete Aufnahme |
Signatur | QR | Standort | Status | |
---|---|---|---|---|
Toled | Bereichsbibl. Mathematik+Informatik | Präsenznutzung | ||
Mediennummer: 34129142, Inventarnummer: 75/f 3320 | ||||
Toled;;2. Ex. | Bereichsbibl. Mathematik+Informatik | Präsenznutzung | ||
Mediennummer: 34129143, Inventarnummer: 75/f 3342 |