Proof theory and ituitionistic systems
Dold A
Proof theory and ituitionistic systems - Berlin Springer-Verlag 1971 - vii,290p. cm. - Lecture Notes in mathematics:a collection of informal reports and seminars; 212 .
21350
Textual
B13, L11
Proof theory and ituitionistic systems - Berlin Springer-Verlag 1971 - vii,290p. cm. - Lecture Notes in mathematics:a collection of informal reports and seminars; 212 .
21350
Textual
B13, L11
