Mathematical interpretation of formal systems
By: by Thoralf Skolem [and others].
Contributors: Skolem, Th. 1887-1963.
Series: Studies in logic and the foundations of mathematics
Publisher: North-Holland
Published: 1955
Place of publication: Amsterdam
Number of pages: 113
Subjects: Logic, Symbolic and mathematical
Notes: Bibliography : p. 112-113.