Speichern
TY - `BOOK`
AU - Schütte, Kurt
A4 - Crossley, J. N.
TI - Proof theory
PB - Springer-Verlag
CY - Berlin ; Heidelberg ; New York
PY - 1977
LA - eng
SE - xii, 302 Seiten
T2 - Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen
M1 - 225
N1 - Transl. of the rev. version of "Beweistheorie", 1. ed., 1960, Grundlehren der math. Wissenschaften, Bd. 103
SN - 3-540-07911-4
SN - 0-387-07911-4
SN - 978-0-387-07911-0
SN - 978-3-540-07911-8
KW - Beweistheorie / Mathematische Logik
KW - Beweistheorie
KW - Mathematik / Beweistheorie
CN - UBN/SK 130 S385
CN - <DE> LOG 3 SCHUE 417/1
CN - Schuette HB
CN - Schuette
AN - UBHD-1069145
ER -