Proceedings of the Herbrand Symposium. Logic Colloquium '81, held in Marseille, France, July 1981
From MaRDI portal
Publication:1166497
zbMath0489.00007MaRDI QIDQ1166497
No author found.
Publication date: 1982
Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)
03-06: Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations
00Bxx: Conference proceedings and collections of articles
Related Items
Notions of locality and their logical characterizations over finite models, 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000, Natural well-orderings