Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: num all "3540079114"
Link zu diesem Datensatz | https://d-nb.info/770427022 |
Titel | Proof theory / Kurt Schütte. Transl. from the German by J. N. Crossley |
Person(en) | Schütte, Kurt (Verfasser) |
Werk(e) | Beweistheorie (engl.) |
Verlag | Berlin, Heidelberg, New York : Springer |
Zeitliche Einordnung | Erscheinungsdatum: 1977 |
Umfang/Format | XII, 302 S. ; 25 cm |
Andere Ausgabe(n) | Erscheint auch als Online-Ausgabe: Schütte, Kurt: Proof Theory |
ISBN/Einband/Preis |
978-3-540-07911-8 (Berlin, Heidelberg, New York) Lw. : DM 74.00 3-540-07911-4 (Berlin, Heidelberg, New York) Lw. : DM 74.00 978-0-387-07911-0 (New York, Heidelberg, Berlin) Lw. 0-387-07911-4 (New York, Heidelberg, Berlin) Lw. |
Beziehungen | Grundlehren der mathematischen Wissenschaften ; 225 |
Anmerkungen |
Literaturverz. S. 293 - 296. Status nach VGG: lieferbar |
Schlagwörter | Beweistheorie ; Beweistheorie (Mathematik) |
Sachgruppe(n) | 19a Mathematik |
Weiterführende Informationen | Inhaltsverzeichnis |
Frankfurt |
Signatur: D 77b/4887 Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.] Bereitstellung in Frankfurt |
Leipzig |
Signatur: 1922 B 244-225 Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.] Bereitstellung in Leipzig |