@book{26129,
	author = {Ben-Ari, Mordechai},
	title = {Mathematical Logic For Computer Science},
	publisher = {Thomson},
	year = {2005},
	address = {Australia},
	edition = {2nd}
}