Proof by cases in formal logic

DOI10.2307/1968749zbMath0010.14602OpenAlexW2328992634MaRDI QIDQ1840145

Stephen C. Kleene

Publication date: 1934

Published in: Annals of Mathematics. Second Series (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/1968749

zbMATH Keywords

foundations, philosophy, logic

Related Items

Arithmetic based on the Church numerals in illative combinatory logic, The Mathematical Work of S.C.Kleene, Step by Recursive Step: Church's Analysis of Effective Calculability, The Church-Rosser property in symmetric combinatory logic, The Church-Rosser property in dual combinatory logic