Mathematical interpretation of formal systems / [by] Th. Skolem [and others].

Author/creator Wiskundig Genootschap (Netherlands)
Other author Skolem, Th. (Thoralf), 1887-1963.
Format Book
Publication InfoAmsterdam : North-Holland Pub. Co., 1955.
Descriptionviii, 113 pages ; 22 cm.
Subjects

SeriesStudies in logic and the foundations of mathematics
Studies in logic and the foundations of mathematics. ^A16526
General note"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."
Bibliography noteBibliography: p. 112-113.
LCCN 56003127

Availability

Library Location Call Number Status Item Actions
Joyner General Stacks QA9.W72 1955 ✔ Available Place Hold