| |
| Verfasst von: | Schütte, Kurt [VerfasserIn]  |
|---|---|
| Titel: | Proof theory |
| Mitwirkende: | Crossley, J. N. [ÜbersetzerIn] |
| Werktitel: | Beweistheorie |
| Verf.angabe: | Kurt Schütte ; translation from the German by J. N. Crossley |
| Verlagsort: | Berlin ; Heidelberg ; New York |
| Verlag: | Springer-Verlag |
| Jahr: | 1977 |
| Umfang: | xii, 302 Seiten |
| Gesamttitel/Reihe: | Grundlehren der mathematischen Wissenschaften ; 225 |
| Fussnoten: | Transl. of the rev. version of "Beweistheorie", 1. ed., 1960, Grundlehren der math. Wissenschaften, Bd. 103 |
| ISBN: | 3-540-07911-4 |
| 0-387-07911-4 | |
| 978-0-387-07911-0 | |
| 978-3-540-07911-8 | |
| URL: | Inhaltsverzeichnis: http://www.gbv.de/dms/hbz/toc/ht001170628.pdf |
| Cover ; Verlag: https://swbplus.bsz-bw.de/bsz006531318cov.jpg | |
| Inhaltsverzeichnis: http://digitale-objekte.hbz-nrw.de/webclient/DeliveryManager?pid=1910738&custom_att_2=simple_viewer | |
| Schlagwörter: | (s)Beweistheorie / (s)Mathematische Logik |
| (s)Beweistheorie | |
| (s)Mathematik / (s)Beweistheorie | |
| Sprache: | eng |
| Notation: | AMS: 03E99 |
| AMS: 03Dxx | |
| AMS: 03B99 | |
| AMS: 03B10 | |
| AMS: 03C15 | |
| RVK-Notation: | SK 130 |
| CC 2600 | |
| SI 990 | |
| K10plus-PPN: | 160741919X |
| Verknüpfungen: | → Übergeordnete Aufnahme |
| Signatur | QR | Standort | Status | |
|---|---|---|---|---|
| UBN/SK 130 S385 |  | Zweigstelle Neuenheim / Magazin INF 329 | bestellbar | |
| Mediennummer: 01069145 | ||||
| Schuette | | Bereichsbibl. Mathematik+Informatik | Präsenznutzung | |
| Mediennummer: 34126050, Inventarnummer: 77/f 5897 | ||||
| Schuette HB | | Bereichsbibl. Mathematik+Informatik / MA-HB | Präsenznutzung | |
| Mediennummer: 34107534, Inventarnummer: 2000/176 HB | ||||
| <DE> LOG 3 SCHUE 417/1 | | Germanistisches Seminar | Präsenznutzung | |
| Mediennummer: 60290220, Inventarnummer: 1989/H 127 | ||||
