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

Powered by Koha