Proceedings of the Herbrand Symposium
Subtitle: Logic Colloquium '81 : proceedings of the Herbrand Symposium held in Marseilles, France, July 1981
By: edited by J. Stern.
Contributors: Stern, J.
Series: Studies in logic and the foundations of mathematics -- v.107
Publisher: North-Holland
Published: 1982
Place of publication: Amsterdam; Oxford
Language: eng
Number of pages: 384
Subjects: Logic, Symbolic and mathematical -- Congresses.
Notes: Includes bibliographies.

Includes four chapters in French.