Jacques Herbrand: Life, Logic, and Automated Deduction

@incollection{pub4314,
    author = {

Wirth, Claus-Peter
 and 

Siekmann, Jörg
 and 

Benzmüller, Christoph
 and 

Autexier, Serge
},
    editor = {

Gabbay, Dov M.
 and 

Woods, John
},
    title = {Jacques Herbrand: Life, Logic, and Automated Deduction},
    booktitle = {Logic from Russell to Church},
    series = {Handbook of The History of Logic},
    year = {2009},
    month = {6},
    volume = {5},
    pages = {195--254},
    publisher = {Elsevier}
}