Some upper and lower bounds on decision procedures in logic
By: by Jeanne Ferrante.
Contributors: Project MAC (Massachusetts Institute of Technology)
Publisher: Project MAC, Massachusetts Institute of Technology
Published: 1974
Place of publication: Cambridge
Language: eng
Number of pages: 268
Subjects: Gödel's theorem.; Turing machines.; Computational complexity.
Notes: Bibliography: p. 264-267.
Thesis--Massachusetts Institute of Technology.
"MAC TR-139."
Vita.