Functional interpretations in elementary proof theory
By: by Warren D. Goldfarb
Published: 1969
Language: eng
Notes: Thesis (A.B., Honors)--Harvard University, 1969.