Tillämpad logik DV1
5 poäng
Litteraturlista, C-nivå, 1MA318
Huvudgrupp 1
Modelling and Reasoning about Systems. Cambridge UniversityPress 2000. Press 2000. E. Palmgren, Constructive Logic. Kompendium, Uppsala 2004. Raymond M. Smullyan. First-Order Logic.Dover Publishing 1995. Kompletterande material. Referenslitteratur: D. van Dalen: Logic and Structure. 3rd ed., Springer 1997. Per Martin-Löf: Intuitionistic TypeTheory. Bibliopolis 1984.