Lectures on Jacques Herbrand as a Logician

1 code implementation • 26 Feb 2009 • Claus-Peter Wirth, Joerg Siekmann, Christoph Benzmueller, Serge Autexier

We give some lectures on the work on formal logic of Jacques Herbrand, and sketch his life and his influence on automated theorem proving.

Automated Theorem Proving Formal Logic +2