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

Bibligraphy ; p. 112-113


Logic, Symbolic and mathematical.

164 WIS