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