D.: 1962a, 'The Pure Calculus of Entailment (0)

by A R Anderson, N Belnap
Venue:Journal of Symbolic Logic