Provjera znanja iz logike.
Izražajnost poveznika i zakoni dualnosti u propozicijskoj logici.
Pouzdanost, konzistentnost i potpunost deduktivnog sustava.
Metode poučavanje logike.