Title: A completeness theorem and a computer program for finding theorems derivable from given axioms
Subjects: Electronic digital computers, Calculus, Axioms