Proceedings of the Herbrand symposium : Logic Colloquium '81 ... held in Marseilles, France, July 1981 / edited by J. Stern.
Uniform Title: | Logic Colloquium '81
Studies in logic and the foundations of mathematics ; v. 107. |
---|---|
Corporate Author: | |
Other Authors: | |
Language: | English |
Published: |
Amsterdam ; New York : New York, N.Y. :
North-Holland Pub. Co. ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.,
1982.
|
Series: | Studies in logic and the foundations of mathematics ;
v. 107. |
Subjects: | |
Genre: | |
Physical Description: | xi, 384 pages : illustrations ; 23 cm. |
Format: | Conference Proceeding Book |
Call Number: | QA9.A1 L63 1981 |
---|---|
Bibliography Note: | Includes bibliographies. |
ISBN: | 0444864172 (U.S.) |