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: 03C15 |
AMS: 03B10 | |
AMS: 03Dxx | |
AMS: 03B99 | |
AMS: 03E99 | |
RVK-Notation: | SI 990 |
SK 130 | |
CC 2600 | |
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 |