Bruno Scarpellini

Proof Theory and Intuitionistic Systems - 1971 - Heidelberg Springer Berlin 1971 - Monograph - Lecture Notes in Mathematics v.212 .

9783540368755


Mathematics and Statistics