TY  - BOOK
AU  - Skolem Thoralf
AU  - Fenstad J E
TI  - Selected works in logic
U1  - 164 
PY  - 1970///
CY  - Oslo
PB  - Universi Testsforlaget
KW  - Mathewmatical Logic
KW  - Symbolic
ER  -