Litteraturlista
Logik: Formella språk
Logic:Formal Languages
Kurs
LC1510
³Ò°ù³Ü²Ô»å²Ô¾±±¹Ã¥
7,5 högskolepoäng (hp)
GÃ¥ till
Logik: Formella språk
Om litteraturlistan
Giltig fr.o.m
VÃ¥rtermin 2025 (2025-01-20)
Beslutsdatum
2025-03-20
Kursplan Logik: Formella språk vt-25
Huvudbok
Volker Halbach:Â The Logic Manual, Oxford
°Â±ð²ú²ú²õ¾±»å²¹:Ìý
Exercises Booklet:Â
Internet Encyclopedia of Philosophy:
Logical ConsequenceÂ
Deductive-Theoretic Conceptions of Logical ConsequenceÂ
Model-Theoretic Conceptions of Logical ConsequenceÂ
µþ°ù±ð»å±¹¾±»å±ôä²õ²Ô¾±²Ô²µ
Dag Westerståhl: »Mening och Logik», Filosofisk Tidskrift 1994:1
Alfred Tarski: »The Semantic Conception of Truth and The Foundations of Semantics», Philosophy and Phenomenological Research 4:3 (1944)