Logik och bevisteknik DV1
5 poäng
Litteraturlista, A-nivå, 1MA314
Huvudgrupp 1
Referenslitteratur:
D. van Dalen: Logic and Structure. 3rd ed.,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.