@book{37935,
	author = {Cunningham, Daniel W.},
	title = {Mathematical logic},
	publisher = {De Gruyter,},
	year = {2023},
	series = {De Gruyter Textbook},
	address = {Berlin:}
}