Bevezetés a matematikai logikába egyetemi jegyzet - Dragálin Albert (Kossuth Egyetemi K., 1996)