Szlavikovics, Máté (2023) Ítéletkalkulusbeli formulák kielégíthetőségének eldöntése. BA/Bsc, Szegedi Tudományegyetem.