OHEISMATERIAALIA

• Ratkaisuja harjoitustehtäviin 1-113
• Lisää ratkaisuja harjoitustehtäviin
• Systeemin S5 täydellisyys L-semantiikan suhteen (ohjeet tehtävään 318)
• Tuomo Aho: Propositionaalisten asenteiden logiikka
• Tero Tulenheimo: Aikalogiikan alkeita
• Heikki-Pekka Innala, Veikko Rantala, Ari Virtanen: Deonttisesta logiikasta
• Veikko Rantala, Ari Virtanen: Logiikan peruskurssi
• Veikko Rantala, Ari Virtanen: Joukko-opin alkeita