TY  - BOOK
AU  - Piller J Ed.
AU  -  Muller G H Ed.
ED  - International conference on proof theory (1974 : Keil)
TI  - Proceeding on proof theory
T2  - Lecture notes in mathematics; 500
U1  - B:(R1)p1,N74, L5 
PY  - 1975///
CY  - Berlin
PB  - Springer-Verlag         
KW  - Philosophy of maths
ER  -