Library - International Centre for Theoretical Sciences catalog › Results of search for 'ccl=au:"Kleene, Stephen Cole"'

Your search returned 2 results.

Not what you expected? Check for suggestions

	1.	Formalized recursive functionals and formalized realizability by Kleene, Stephen Cole. Series: Memoirs of the American Mathematical SocietyMaterial type: Computer file; Format: electronic Publication details: Providence, R.I. : American Mathematical Society, 1969Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	2.	Two papers on the predicate calculus by Kleene, Stephen Cole \| Kleene, Stephen Cole,Kleene, Stephen Cole. Series: Memoirs of the American Mathematical SocietyMaterial type: Computer file; Format: electronic Publication details: Providence, R.I. : American Mathematical Society, 1967, c1952Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)