Kurssin luennot pohjautuvat jonkin verran kirjaan 

 Grassmann, Tremblay: Logic and discrete mathematics : 
     a computer science perspective
 Prentice Hall, Upper Saddle River, NJ, USA, 1996
       
Osaan kurssia (logiikka, joukot, induktio, rekursio) sopii kirja

 Merikoski, Virtanen, Koivisto: Johdatus diskreettiin metematiikkaan.
 WSOY, Porvoo 2004

Loogiikan perusteita voi opiskella seuraavista

 H. Salminen, J. Väänänen: Johdatus logiikkaan. 
 Gaudeamus, Saarijärvi 2002 

 L. Kurittu: Johdatus logiikkaan.
 Jyväskylän yliopisto, matematiikan laitos, Jyväskylä 2000

 S. Miettinen: Logiikan perusteet.
 Gaudeamus

Merkinnät vaihtelevat kirjasta toiseen, joten niissä täytyy olla 
huolellinen.