Bala, R. ., and H. . Pandey. “Mathematical Logic: Foundations and Beyond”. Turkish Journal of Computer and Mathematics Education (TURCOMAT), vol. 9, no. 3, Dec. 2018, pp. 1405-11, doi:10.61841/turcomat.v9i3.14599.