Utöver en ren introduktion till predikatlogikens syntax och semantik presenteras fragment och extensioner till denna. Även intensionala logiker som modala satslogiker berörs. Exempel ges på hur logik kan användas för att analysera naturligt språk, men också på första ordningens teorier. I [...]