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