The elimination theorem when modality is present (1957)

by H B Curry
Venue:Journal of Symbolic Logic