The Inconsistency of Certain Formal Logics (1935)

by Stephen C Kleene, J Barkley Rosser
Venue:Annals of Mathematics, Second Series