Publication
Jacques Herbrand: Life, Logic, and Automated Deduction
Claus-Peter Wirth; Jörg Siekmann; Christoph Benzmüller; Serge Autexier
In: Dov M. Gabbay; John Woods. Logic from Russell to Church. Pages 195-254, Handbook of The History of Logic, Vol. 5, Elsevier, 6/2009.
Abstract
No Abstract.