Stephen C. Kleene, Proof by cases in formal logic, Annals of Mathematics, vol. 35 (1934), pp. 529--44. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Step By Recursive Step: Church's Analysis Of Effective Calculability - Sieg (1997) (1 citation) (Correct)
No context found.
Stephen C. Kleene, Proof by cases in formal logic, Annals of Mathematics, vol. 35 (1934), pp. 529--44.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC