Title: Proceedings of the Herbrand Symposium
First published: 1982
Subjects: Congresses, Logic, Symbolic and mathematical, Symbolic and mathematical Logic
LC classification: QA9.A1