COMPLETENESS THEOREMS FOR THE SYSTEM E OF ENTAILMENT AND EQ OF ENTAILMENT WITH QUANTIFICATION
Document Details
- Document Type
- Technical Report
- Publication Date
- Nov 01, 1959
- Accession Number
- AD0239385
Entities
People
- Alan Ross Anderson
Organizations
- Yale University