The Foundations of Intuitionistic Mathematics (1965)

by S C Kleene, R E Vesley