Proceedings of the Herbrand Symposium : Logic Colloquium '81 : proceedings of the Herbrand Symposium held in Marseilles, France, July 1981
Author(s)
Bibliographic Information
Proceedings of the Herbrand Symposium : Logic Colloquium '81 : proceedings of the Herbrand Symposium held in Marseilles, France, July 1981
(Studies in logic and the foundations of mathematics, v. 107)
North-Holland, 1982
Available at / 47 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
C-P||Marseilles||1981.72944689
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographies
Includes four chapters in French