Skolem Th Mathematical interpretation of formal systems - 1955 Standard No.: 65,132 Source: Textual Subjects--Topical Terms: PHILOSOPHY Dewey Class. No.: R14, J5