The inconsistency of certain formal logics (1935)

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