TY  - BOOK
AU  - Dold A
AU  -  Eckmann B
AU  -  Heidelberg
AU  -  Zurich
TI  - Proof theory and ituitionistic systems
T2  - Lecture Notes in mathematics:a collection of informal reports and seminars; 212
U1  - B13, L11 
PY  - 1971///
CY  - Berlin
PB  - Springer-Verlag         
ER  -