@book{18349,
	author = {M. Ben-Ari},
	title = {Mathematical logic for computer science},
	publisher = {Prentice Hall,},
	year = {1993},
	address = {New York,USA:}
}