@book{21766,
	author = {Ben-Ari, Mordechai},
	title = {Mathematical logic for computer science},
	publisher = {Springer-Verlag,},
	year = {2001},
	address = {Berlin:},
	edition = {2nd}
}