Intuitionism: An Introduction to a Seminar (1983)

by D C McCarty
Venue:Journal of Philosophical Logic