Computational complexity of arithmetic theories
Subtitle: some upper bounds
By: Richard Title
Published: 1978
Language: eng
Notes: Thesis (A.B., Honors in Applied Mathematics)--Harvard University, 1978.

Division of Engineering and Applied Sciences.

Includes bibliographical references.