@book{2172,
	author = {Ben-Ari, Mordechai},
	title = {Mathematical logic for computer science},
	publisher = {Springer-Verlag},
	year = {2003, 2019},
	address = {London},
	note = {Includes bibliographical references and index}
}