The foundations of intuitionistic mathematicsStephen Cole Kleene, Richard Eugene Vesley · First published 1965Open the Tome
