Mathematical interpretation of formal systems /
by Th. Skolem a nd others
- Amsterdam : North-Holland Pub. Co., , 1955
- viii,113 p. ; 22 cm.
- Studies in logic and the foundation of mathematics .
"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