COMPLETENESS THEOREMS FOR THE SUBORDINATE PROOF FORMULATIONS OF THE PROPOSITIONAL AND PREDICATE CALCULI
Document Details
- Document Type
- Technical Report
- Publication Date
- Nov 01, 1961
- Accession Number
- AD0279469
Entities
Organizations
- Air Force Cambridge Research Laboratories