A completeness theorem and a computer program for finding theorems derivable from given axioms.
Published: 1972
Place of publication: [Berkeley]
Language: eng
Number of pages: 54
Subjects: Electronic digital computers.; Axioms.; Calculus.
Notes: Facsimile reprint by University Microfilms, Ann Arbor, Michigan, 1972.

Thesis (Ph.D. in Engineering) - University of California.

Bibliography: leaves 52-54.