http://jultika.oulu.fi/files/nbnfioulu-201910182986.pdf
Pro gradu -tutkielma on osa pitkän matematiikan kurssin MAA11 Lukuteoria ja todistaminen -kirjaa. Sen sisältönä ovat logiikan alkeet.