FIRST DEGREE ENTAILMENTS Document Details Document Type Technical Report Publication Date Nov 01, 1961 Accession Number AD0252519 Entities People Alan Ross Anderson Nuel D. Jr. Belnap Organizations Yale University