Accession Number : AD0279469

Title :   COMPLETENESS THEOREMS FOR THE SUBORDINATE PROOF FORMULATIONS OF THE PROPOSITIONAL AND PREDICATE CALCULI

Corporate Author : AIR FORCE CAMBRIDGE RESEARCH LABS HANSCOM AFB MA

Report Date : NOV 1961

Pagination or Media Count : 1

Descriptors :   (*MATHEMATICAL LOGIC, THEOREMS), METAMATHEMATICS, COMPUTER PROGRAMMING.

Distribution Statement : APPROVED FOR PUBLIC RELEASE