Herbrand's theorem in infinitary logic
Contributors: Toronto, Ont. University.
Published: 1973
Place of publication: [Toronto]
Language: eng
Number of pages: 157
Subjects: Herbrand, Jacques, -- 1908-1931.; Logic, Symbolic and mathematical.
Notes: Thesis - University of Toronto.

Bibliography: leaves [158-161]