Mathematical interpretation of formal systems - Wiskundig Genootschap onder de Zinspreuk :"een Onvermoeide Arbeid Ko mt Alles te Boven," (1955: Amsterdam); Skolem, Thoralf, 1887- (Amsterdam : North-Holland Pub. Co., 1955)
"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
Keywords: Logic, Symbolic and mathematical