Mathematical interpretation of formal systems/
Mathematical interpretation of formal systems/
Th. Skolem ... [and others]
- Amsterdam ; North-Holland, 1955.
- 113 p.: 22 cm.
- Studies in logic and the foundations of mathematics .
Lectures held at the symposium on mathematical interpretation of formal systems in Amsterdam, Sept. 9-10, 1954.
Includes bibliographies.
a 56004475
Logic, Symbolic and mathematical.
511.3 / M426
Lectures held at the symposium on mathematical interpretation of formal systems in Amsterdam, Sept. 9-10, 1954.
Includes bibliographies.
a 56004475
Logic, Symbolic and mathematical.
511.3 / M426