III Logic and Computability

This course follows up on the content of the undergraduate courses II Logic & Set Theory and II Automata & Formal Languages and introduce...

Dialectica for Constructible Falsity

Double-functorial representation of regular hyperdoctrines