IMSc Library catalog › Results of search for 'ccl=se,phr:"Memoirs of the American Mathematical Society, " and se:Memoirs of the American Mathematical Society and au:Kleene, Stephen Cole'

Your search returned 2 results.

Not what you expected? Check for suggestions

			Two papers on the predicate calculus / [electronic resource] by S.C. Kleene. by Kleene, Stephen Cole, 1909-1994 \| Kleene, Stephen Cole, 1909-1994. Permutability of inferences in Gentzen's calculi LK and LJ \| Kleene, Stephen Cole, 1909-1994. Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. Series: Memoirs of the American Mathematical Society ; no. 10.Edition: Rev.Material type: Text;Language: English; Format: available online ; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, 1967, c1952 (1985 printing)Online access: Contents \| Contents Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Formalized recursive functionals and formalized realizability / [electronic resource] by S.C. Kleene. by Kleene, Stephen Cole, 1909-1994. Series: Memoirs of the American Mathematical Society ; no. 89.Material type: Text;Language: English; Format: available online ; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, 1969Online access: Contents \| Contents Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags