@book{53309,
	author = {BEN ARI},
	title = {MATHEMATICAL LOGIC FOR COMPUTER SCIENCE},
	publisher = {SPRINGER},
	year = {2013},
	edition = {2}
}