@book{19962,
	author = {Ari/Mordechai Ben },
	title = {Mathematical logic for computer Science},
	publisher = {Springer},
	year = {2001},
	address = {New Delhi}
}