Kreisel G Elements of mathematical logic Model theory - 1967 - Studies in logic and the foundations of mathematics ed by A Heyting . Standard No.: 65,117 Source: Textual Subjects--Topical Terms: PHILOSOPHY Dewey Class. No.: R14, K7