Proof theory
Schutte, Kurt.
Proof theory by Kurt Schutte, tr. from the German by J.N. Crossley - Berlin Springer-Verlag 1977 - xii, 302p. - Grundlehren der mathematischen Wissenschaften 225 .
3540079114
511.3 / N771
Proof theory by Kurt Schutte, tr. from the German by J.N. Crossley - Berlin Springer-Verlag 1977 - xii, 302p. - Grundlehren der mathematischen Wissenschaften 225 .
3540079114
511.3 / N771