Title: Mathematical interpretation of formal systems [by] Th. Skolem [and others]
First published: 1955
Subjects: Logic, Symbolic and mathematical, Symbolic and mathematical Logic
LC classification: QA9 W63