Proof theory and intuitionistic systems

Scarpellini, Bruno

Proof theory and intuitionistic systems - - Berlin Springer-Verlag, 1971 - vii,289 p. 25 cm - NASA TM 84317 : 1983 .

3-540-005541-X0



Proof theory
Intutionistic mathematics

517.1 Sca

Powered by Koha