Educational Technology Lab

Seite 1 von 1.

1. Claus-Peter Wirth

   Human-Oriented Inductive Theorem Proving by Descente Infinie - A manifesto.

   In: Logic Journal of the IGPL Oxford, Vol. 20, Oxford University Press. 12/2012.

2. Claus-Peter Wirth

   Herbrand's Fundamental Theorem in the Eyes of Jean van Heijenoort

   In: Logica Universalis, Vol. 6, Pages 485-520, Springer Publishing House, 2012.

3. Claus-Peter Wirth

   lim+, delta+, and Non-Permutability of beta-Steps.

   In: Journal of Symbolic Computation, Vol. 47, Pages 1109-1135, Academic Press, Elsevier, 2012.

4. Claus-Peter Wirth; Jörg Siekmann; Christoph Benzmüller; Serge Autexier

   Jacques Herbrand: Life, Logic, and Automated Deduction

   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.

• 1