Rantala&Virtanen2003
Veikko Rantala & Ari Virtanen: Logiikan peruskurssi. Matematiikan, tilastotieteen ja filosofian laitos. Tampereen yliopisto. Kokeilumoniste, elokuu 2003 (https://www.sis.uta.fi/matematiikka/modaalilogiikka/logpk2003.pdf).
Veikko Rantala & Ari Virtanen: Logiikan peruskurssi. Matematiikan, tilastotieteen ja filosofian laitos. Tampereen yliopisto. Kokeilumoniste, elokuu 2003 (https://www.sis.uta.fi/matematiikka/modaalilogiikka/logpk2003.pdf).