Proof theory and intuitionistic systems (e-book)
Scarpellini, Bruno
Proof theory and intuitionistic systems (e-book) - Berlin Springer 1971 - Lecture Notes in Mathematics (LNM) v.212 .
978-3-540-36875-5
Proof theory and intuitionistic systems (e-book) - Berlin Springer 1971 - Lecture Notes in Mathematics (LNM) v.212 .
978-3-540-36875-5