ed. by A. Heyting

UT Back-in-Print Service 1959 Studies in logic and the foundations of mathematics

Available at 1 libraries