The Inconsistency of Certain Formal Logics (1935)

by S C Kleene, J B Rosser
Venue:Annals of Mathematics