Logik och bevisteknik I
5 hp
Litteraturlista, Grundnivå, 1MA027
Det finns en senare version av litteraturlistan.
Huvudgrupp 1
- Barwise, Jon; Etchemendy, John, Language proof and logic, Stanford, Calif., CSLI Publications, cop. 2002
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.
Kursplan
- Kursplan giltig från och med höstterminen 2023
- Kursplan giltig från och med höstterminen 2022
- Kursplan giltig från och med höstterminen 2019
- Kursplan giltig från och med höstterminen 2017
- Kursplan giltig från och med höstterminen 2012, version 2
- Kursplan giltig från och med höstterminen 2012, version 1
- Kursplan giltig från och med höstterminen 2010, version 2
- Kursplan giltig från och med höstterminen 2010, version 1
- Kursplan giltig från och med höstterminen 2007, version 2
- Kursplan giltig från och med höstterminen 2007, version 1