Mathematical Logic: Foundations and Beyond. TURCOMAT 2018, 9 (3), 1405-1411. https://doi.org/10.61841/turcomat.v9i3.14599.