TY  - BOOK
AU  - Jervell H R
TI  - New proff of the classical Herbrand and Skolem theorem
U1  - 510.7 
PY  - 1971///
CY  - Oslo
PB  - University
KW  - Mathematics
KW  - Skolem theorem
ER  -