https://sites.tuni.fi/uploads/2019/11/d3d6e525-salapoliisit_oppimateriaali.pdf
Pikapaketti logiikkaan on oppimateriaali, joka tutustuttaa matemaattisen logiikan alkeisiin.