TY  - BOOK
AU  - Takeuti Gaisi
TI  - Proof theory
U1  - B:(R1), L5 
PY  - 1975///
ER  -