Wypromowane prace dyplomowe
2022
Prace licencjackie
- Pojęcie czystej logiki w "Badaniach logicznych" Edmunda Husserla
- Dowód twierdzenia o niewyróżnianiu przez logikę stałych pozalogicznych w pracy Andrzeja Grzegorczyka pt. "Zarys Logiki Matematycznej"
2020
Prace licencjackie
- Dowód pełności tablicowego systemu logiki pierwszego rzędu w monografii "First-Order Logic" Raymonda R. Smullyana