Pro gradu -tutkielma on osa pitkän matematiikan kurssin MAA11 Lukuteoria ja todistaminen -kirjaa. Sen sisältönä ovat logiikan alkeet.
Webbplatsens språk: 
suomi
http://jultika.oulu.fi/files/nbnfioulu-201910182986.pdf
Visa mera
Lukuteorian ja logiikan oppikirja on osa Vapaa matikka aineistoa.
Webbplatsens språk: 
suomi
https://drive.google.com/file/d/0B1A1oOE-rvNFUkVYQ2lXMHlzU1E/view?resourcekey=0-tOvV3Q4DXdatEpH0G_Hv...
Visa mera
Tampereen yliopiston logiikan peruskurssi.
Webbplatsens språk: 
suomi
https://webpages.tuni.fi/utamatematiikka/logiikka-1b/logpk2003.pdf
Visa mera