Proof theory and intuitionistic systems - Scarpellini, Bruno (Berlin ; New York : Springer-Verlag, 1971)
Bibliogr.: p. 291
Keywords: Intuitionistic mathematics; Proof theory