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.