LŐRINCZI , Ábel; MARCUS, A. . Introduction to Mathematical Logic and Set Theory; Presa Universitară Clujeană, 2025.