A Completeness Theorem and a Computer Program for Finding Theorems Derivable from Given Axioms
Char-Tung Lee
EECS Department, University of California, Berkeley
1967
Advisors: Eugene Wong and James R. Slagle
BibTeX citation:
@phdthesis{Lee:7158, Author= {Lee, Char-Tung}, Title= {A Completeness Theorem and a Computer Program for Finding Theorems Derivable from Given Axioms}, School= {EECS Department, University of California, Berkeley}, Year= {1967}, }
EndNote citation:
%0 Thesis %A Lee, Char-Tung %T A Completeness Theorem and a Computer Program for Finding Theorems Derivable from Given Axioms %I EECS Department, University of California, Berkeley %D 1967 %F Lee:7158