Intuitionism: An introduction (Studies in logic and the foundations of mathematics)

by A Heyting Hardcover details (USA). ISBN: 978-0-7204-2239-9 ISBN-10: 0-7204-2239-6 North-Holland Pub. Co · 1971