Computability and Logic

Undergraduate course, Aarhus University,

Direct Link