Proof theory and intuitionistic systems
By: Bruno Scarpellini.
Series: Lecture notes in mathematics -- no.212.
Publisher: Springer-Verlag
Published: 1971
Place of publication: Berlin; New York
Number of pages: 290
Subjects: Intuitionistic mathematics; Proof theory