Tampereen yliopiston logiikan peruskurssi.
Webbplatsens språk: 
https://webpages.tuni.fi/utamatematiikka/modaalilogiikka/logpk2003.pdf

Visa mera