TY  - BOOK
AU  - Skolem, Thoralf,
ED  - Wiskundig Genootschap onder de Zinspreuk :"een Onvermoeide Arbeid Ko mt Alles te Boven,"
TI  - Mathematical interpretation of formal systems
U1  - 164 WIS 
PY  - 1955///
CY  - Amsterdam
PB  - North-Holland Pub. Co.,
KW  - Logic, Symbolic and mathematical
N1  - "contains the lectures, held at the symposium [sic] on mathematical interpretation of formal systems which was organised by the 'Wiskunddig Genootschap' (mathematical society) at amserdam on september 9 and 10, 1954; Bibligraphy ; p. 112-113
ER  -