Mathematical interpretation of formal systems [by] Th. Skolem [and others]
Contributors: Skolem, Thoralf, 1887-
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