(in Polish) Zajęcia fakultatywne MATEMATYKA III rok (F1, F2)
- Formal methods in computer science WM-MA-S1-E5-MFWI
- Generic structures - optional classes WM-MA-S1-E6-SG
- Mathematical methods of physics WM-MA-S1-E6-MMF
- Non-classical logics and applications WM-MA-S1-E6-LIZ
- Philosophy of Mathematics WM-MA-FILM
- Proofs from the book WM-MA-S1-E6-ZF2