The inconsistency of certain formal logics (1942)

by H B CURRY
Venue:Journal of Symbolic Logic