Proceedings of the Herbrand symposium
Subtitle: Logic Colloquium '81 ... held in Marseilles, France, July 1981
By: edited by J. Stern.
Contributors: Stern, Jacques, 1949-; Herbrand, Jacques, 1908-1931.
Series: Studies in logic and the foundations of mathematics -- v. 107
Publisher: North-Holland Pub. Co.; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
Published: 1982
Place of publication: Amsterdam; New York; New York, N.Y
Language: eng
Number of pages: 384
Subjects: Logic, Symbolic and mathematical -- Congresses.
Work titles: Logic Colloquium '81
Notes: Includes bibliographies.