ABC i symbolisk logik av Dag Prawitz, Tredje upplagan

Boken "ABC i symbolisk logik" av Dag Prawitz är en introduktion till logikens språk och grundbegrepp. Den behandlar modern logik med fokus på symboliska operationer och hur man uttrycker sig i det nya språket. Boken presenterar logikens grundläggande bas-språk och visar hur man översätter från vanlig svenska till logiska språk. Den syftar till att ge en förståelse för vad som gör något logiskt giltigt, med teorier om logisk sanning och konsekvens. Boken vänder sig till alla som vill lära sig modern logik och har använts på universitetskurser. ISBN: 978-91-7235-078-6.