Matematička logika
Nositelj kolegija: Dr.sc. Tajana Ban Kirigin
Materijal za vježbe:
Logičke ekvivalencije(doc)
Glavni test (pdf)
Pravila prijelaza za kvantifikatore (pdf)