@book{117075,
	author = {Ben-Ari, Mordechai},
	title = {Mathematical logic for computer science /},
	publisher = {Replica Press,,},
	year = {1993},
	address = {India :},
	edition = {2nd ed.}
}