1. Mendelson, E.: Introduction to Mathematical Logic, 6th edn. Taylor & Francis Group, Boca Raton, London, New York (2015)
2. Courant, R., Robbins, H.: What is Mathematics? An Elementary Approach to Ideas and Methods, 2nd edn. Oxford University Press, New York (1996)
3. Kulik, B., Fridman, A.: Complicated Methods of Logical Analysis Based on Simple Mathematics. Cambridge Scholars Publishing, Newcastle upon Tyne (2022)
4. Bourbaki, N.: Theory of Sets. Springer-Verlag, Berlin, Heidelberg (2004)
5. Chang, C.-L., Lee, R.C.-T.: Symbolic Logic and Mechanical Theorem Proving. Academic Press, New York (1973)