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