TY  - BOOK
AU  - Skolem,Th
TI  - Mathematical interpretation of formal systems
T2  - Studies in logic and the foundations of mathematics
U1  - 510.64 
PY  - 1971///
CY  - Amsterdam
PB  - North-Holland
KW  - LOGICA MATEMATICA
ER  -