Mathematical Logic : Written by Stephen Cole Kleene, 2003 Edition, PublisherStephen Cole Kleene · First published 1967Open the Tome
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