Juhász-Bóka, Bernadett (2017) A minimális modális logika teljességi tétele. Masters, Szegedi Tudományegyetem.
Juhász-Bóka, Bernadett (2015) A természetes levezetés. BA/Bsc, Szegedi Tudományegyetem.