Logic Colloquium '81 (Marseilles)

• Proceedings of the Herbrand Symposium