A FORMAL ANALYSIS OF ENTAILMENT

Document Details

Document Type
Technical Report
Publication Date
Jun 01, 1960
Accession Number
AD0239386

Entities

People

  • Nuel D. Jr. Belnap

Organizations

  • Yale University