The Inconsistency of Certain Formal Logics (1942)

by H B Curry
Venue:Journal of Symbolic Logic 7, 115 – 17