1MA027 · 5 hp · Grundnivå
Logik och bevisteknik I
Reading list valid from autumn 2025
Retrieved from uu.se 14 Oct 2026 · View the original on uu.se
Notes from the course
- Huvudgrupp 1: Referenslitteratur:
- Huvudgrupp 1: D. van Dalen: Logic and Structure. 3rd ed.,Springer 1997.
- Huvudgrupp 1: R. M. Smullyan: First-order Logic. Dover 1995.
- Huvudgrupp 1: D. J. Velleman: How to prove it. Cambridge University Press 1994.
Required reading
Huvudgrupp 1
Mathematical Logic
Likely editionHodges, Wilfrid; Chiswell, Ian · Oxford University Press · 2007
ISBN 9780199215621 · print
As written on the list
Hodges, Wilfrid; Chiswell, Ian, Mathematical Logic, Oxford University Press, 2007
Estimated cost
Required books
We don't have prices yet – only links to the stores. Prices will come once the stores' product feeds are in place.