Teoriaa	Ohjelmia
Propositiot ja loogiset konnektiivit (kalvot tai paperituloste) Tautologia (kalvot tai paperituloste) Päättely (kalvot tai paperituloste) Predikaattilogiikka (kalvot tai paperituloste) Jaollisuus (kalvot tai paperituloste) Jakoyhtälö, lukujärjestelmät (kalvot tai paperituloste) Eukleideen algoritmi (kalvot tai paperituloste) Diofantoksen yhtälö (kalvot tai paperituloste) Kongruenssi (kalvot tai paperituloste)	Totuustaulugeneraattori DC PROOF. Ohjelma logiikan ja joukko-opin opiskeluun, loogisten päättelyiden rakentamiseen (Dan Christensen) Esimerkki yllä olevien ohjelmien käytöstä.