TY  - BOOK
AU  - Takeuti Gaisi
TI  - Two applications of logic to mathematics
T2  - Publication of the mathematical society
U1  - B2:(R1), L8 
PY  - 1978///
CY  - USA
PB  - Iwanami Shoten        
ER  -