@book{33958,
	author = {Ben-Ari, M.},
	title = {Mathematical logic for computer science /},
	publisher = {Springer,},
	year = {c2001},
	address = {London ;},
	edition = {2nd ed.}
}