Author Statement :
Kurt Schutte ; translation from the German by J. N. Crossley
Publication :
Springer-Verlag
Collation :
xii, 302 p. ; 25 cm
Series :
Grundlehren der mathematischen Wissenschaften ; 225
Notes :
Translation of Beweistheorie
Holding Info. :
0387079114
Biblography :
Bibliography: p. [293]-296.
