Provjera znanja iz logike.
Izražajnost poveznika i zakoni dualnosti u propozicijskoj logici.
Pouzdanost, konzistentnost i potpunost deduktivnog sustava.
Metode poučavanje logike.
- Nositelj kolegija: Jure Zovko
- Izvođač kolegija: Mate Penava
- Nositelj kolegija: Jure Zovko