Assoc. Prof. Dr. Georg Moser   

Epsilon Calculus I

This pages collects the slides given for the course on the epsilon calculus given at the the First International Summer School for Proof Theory in First-Order Logic in Funchal, Madeira, August 22 – 27, 2017.