Huvudgrupp 1

• Hodges, Wilfrid; Chiswell, Ian, Mathematical Logic, Oxford University Press, 2007Obligatorisk*

Referenslitteratur:

D. van Dalen: Logic and Structure. 3rd ed.,Springer 1997.

R. M. Smullyan: First-order Logic. Dover 1995.

D. J. Velleman: How to prove it. Cambridge University Press 1994.

* Obligatorisk