The Intuitionist Foundations of Mathematics (1964)

by A Heyting
Venue:In