Accession Number:

AD0239385

Title:

COMPLETENESS THEOREMS FOR THE SYSTEM E OF ENTAILMENT AND EQ OF ENTAILMENT WITH QUANTIFICATION

Descriptive Note:

Corporate Author:

YALE UNIV NEW HAVEN CT INTERACTION LAB

Personal Author(s):

Report Date:

1959-11-01

Pagination or Media Count:

1.0

Abstract:

Subject Categories:

Distribution Statement:

APPROVED FOR PUBLIC RELEASE