@book{751566,
	author = {Milanic, Martin and Servatius, Brigitte},
	title = {Discrete mathematics with logic},
	publisher = {Academic press},
	year = {2024},
	address = {London}
}