Bevezetés a matematikai logikába [egyetemi jegyzet] - Dragálin Albert; Buzási Szvetlána; Kossuth Lajos Tudományegyetem (Debrecen) Természettudományi Kar (Debrecen Kossuth Egyetemi K., 1997)