The foundations of intuitionistic mathematics, especially in relation to recursive functions [by] Stephen Cole Kleene [and] Richard Eugene VesleyStephen Cole Kleene · First published 1965Open the Tome
Introduction to Metamathematics by Stephen Cole Kleene(2001-04-09)stephen cole kleene · First published 1950Open the Tome
The Foundations of Intuitionistic MathematicsR.E. Vesley Stephen Cole Kleene · First published 1965Open the Tome