Title: Proceedings of the Herbrand symposium
Subjects: Congresses, Logic, Symbolic and mathematical, Symbolic and mathematical Logic