| |
Andere Auflagen/Ausgaben:
| 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: | CC 2600 |
| SI 850 | |
| 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 | ||||
