Bala, R. .; Pandey, H. . Mathematical Logic: Foundations and Beyond. TURCOMAT 2018, 9, 1405-1411.