Jacques Herbrand: Life, Logic, and Automated Deduction
@incollection{WSBA-09-a, author = {Claus-Peter Wirth and J\"org Siekmann and Christoph Benzm\"uller and Serge Autexier}, booktitle = {Logic from Russell to Church}, title = {Jacques Herbrand: Life, Logic, and Automated Deduction}, volume = {5}, series = {Handbook of The History of Logic}, publisher = {Elsevier}, pages = {195-254}, month = {june}, year = {2009}, }