Proof by cases in formal logic (1934)

by S C Kleene
Venue:Annals of Mathematics