A unified treatment of elementary proof theory
Published: 1968
Language: eng
Notes: Thesis (Ph. D.)--Harvard University, 1968.