91̽»¨

Litteraturlista

Logik: Formella språk

Logic:Formal Languages

Kurs
LC1510
³Ò°ù³Ü²Ô»å²Ô¾±±¹Ã¥
7,5 högskolepoäng (hp)

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)