Mathematical logic an introduction - Cunningham, Daniel W. (De Gruyter, 2023)