Serge Autexier (autexier-s)

Contributions à Philosophie.ch

Bibliography

Wirth, Claus-Peter, Siekmann, Jörg H., Benzmüller, Christoph and Autexier, Serge. 2009. “Jacques Herbrand: Life, Logic, and Automated Deduction.” in Handbook of the History of Logic. Volume 5: Logic from Russell to Church, edited by Dov M. Gabbay and John Woods, pp. 195–254. Amsterdam: North-Holland Publishing Co.