@book{190244,
	author = {Ben-Ari, Mordechai.},
	title = {Mathematical logic for computer science /},
	publisher = {Springer ,},
	year = {2008.},
	address = {New Delhi :},
	edition = {2nd ed.}
}