Seminar 7 - Incomplete Symbols
Seminar 8 - Propositional Functions
Seminar 9 - Universals I
Seminar 10 - Universals II