Huvudgrupp 1

• Hedman, Shawn, A first course in logic: an introduction to model theory, proof theory, computability, and complexity, Oxford, Oxford University Press, 2004Obligatorisk*

Eventuellt kompletterande material som läraren gör tillgängligt.

* Obligatorisk