Prof. em. Dr. Gerhard Jäger Logic and Theory Group E-Mail gerhard.jaeger@unibe.ch private website sites.google.com/view/gerhardjaeger