Kurslitteratur

Michael Huth, Mark Ryan Logic in Computer Science Cambridge University Press 2004 (2nd edition) ISBN 0 521 54310X Borde finnas i Kårbokhandeln i början av perioden.

Här är ett kompendium som innehåller lösningar till ett antal viktiga uppgifter (framförallt från kursboken), många av vilka betraktas under övningarna.

Följande papper diskuterar formaliseringen av deklarativa meningar i predikatlogik.