Applications of the Herbrand theorem
Published: 1963
Language: eng
Notes: Thesis (Ph. D.)--Harvard University, 1963.