TY  - BOOK
AU  - Skolem Th
TI  - Mathematical interpretation of formal systems
U1  - R14, J5 
PY  - 1955///
KW  - PHILOSOPHY
ER  -