- Authors
-
Claus-Peter Wirth,
Jörg Siekmann,
Christoph Benzmüller,
Serge Autexier
- Title
- Jacques Herbrand: Life, Logic, and Automated Deduction
- In
- Dov M. Gabbay & John Woods (eds.). Handbook of the History of Logic
Vol 5:
Logic from Russell to Godel, pp.195-254,
North-Holland, 2009, ISBN 0444516204
- Copyright Owner
- Elsevier