Proof theory/

Schütte, K.

Proof theory/ Kurt Schütte ; translation from the German by J. N. Crossley. - Berlin ; New York: Springer-Verlag, 1977. - xii, 302 p. ; 25 cm. - Grundlehren der mathematischen Wissenschaften. 225. .

Translation of Beweistheorie. Includes index.

Bibliography: p. [293]-296.

0387079114

76045768 //r864


Proof theory

511.3 / S415p
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha