Assoc. Prof. Dr. Georg Moser
Main
home
events
research
teaching
Madeira 2017
Introduction
Slides
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.