@book{124393,
	author = {Avigad, Jeremy,},
	title = {Mathematical logic and computation /},
	publisher = {Cambridge University Press,},
	year = {2023.},
	address = {Cambridge :}
}