Mathematical interpretation of formal systems - Skolem, Th. (Thoralf), 1887-1963 (North-Holland, 1971)
"Contains the lectures, held at the symposion [sic] on Mathematical interpretation of formal systems which was organized by the Wiskundig Genootschap (Mathematical Society) at Amsterdam on September 9 and 10, 1954."