Mathematical interpretation of formal systems
By: [by] Th. Skolem [and others].
Contributors: Skolem, Th. 1887-1963.
Series: Studies in logic and the foundations of mathematics
Publisher: North-Holland Pub. Co.
Published: 1955
Place of publication: Amsterdam
Language: eng
Number of pages: 113
Subjects: Logic, Symbolic and mathematical
Notes: Bibliography: p. 112-113.
"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."