SubNotes course Year 1 - Semester 1 Lectures Izjave, Zakoni izjavnega računa, Sklepanje v izjavnem računu Predikatni račun Teorija množic Relacije Teorija števil Permutacije Grafi