Skip to main content Skip to main navigation

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.

Projects