Proof theory and intuitionistic systems [electronic resource].

Bibliographic Details

Uniform Title:	Lecture notes in mathematics (Springer-Verlag) ; 212.
Main Author:	Scarpellini, Bruno
Language:	English
Published:	Berlin, New York, Springer-Verlag, 1971.
Series:	Lecture notes in mathematics (Springer-Verlag) ; 212.
Subjects:	Intuitionistic mathematics. Proof theory.
Online Access:	Springer Book Archive - Mathematics: 1971 (Springer Link)
Format:	Electronic eBook