The Foundations of Intuitionistic Mathematics (1965)

by Stephen C Kleene, Richard E Vesley