@book{22156,
	author = {M.Ben-Ari},
	title = {Mathematical logic For Computer Science},
	publisher = {Prentice Hall International,},
	year = {1993},
	address = {New York,USA:}
}