Proof theory and intuitionistic systems /

Proof theory and intuitionistic systems /

41

Bibliographic Details
Main Author: 349246 Scarpellini, Bruno
Format:
Published: Berlin : Springer-Verlag, 1971
Subjects:
Proof theory

Similar Items