Kreisel G

Elements of mathematical logic Model theory - 1967 - Studies in logic and the foundations of mathematics ed by A Heyting .

65,117

Textual


PHILOSOPHY

R14, K7