@book{6216,
	author = {M. Ben-Ari},
	title = {Mathematical Logic For Computer Science},
	publisher = {Springer},
	year = {2008},
	address = {New Delhi},
	edition = {2nd}
}