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 ett kapitel om mängdlära presenteras grundläggande mängdteoretiska begrepp, Cantors analys av oändlighetsbegreppet och Zermelo-Fraenkels axiom för mängdteorin.Övningar, typ-tentor och annat till gagn för studenter och lärare kan hämtas på länken till höger.