Proof theory /

Bibliographic Details

Main Author:	Schütte, K. (Kurt)
Format:	Book
Language:	English German
Published:	New York : Springer-Verlag, 1977.
Series:	Grundlehren der mathematischen Wissenschaften ; 225.
Subjects:	Proof theory.