@book{639424,
	author = {MICHEAL HUTH },
	title = {LOGIC IN COMPUTER SCIENCE},
	publisher = {CAMBRIDGE UNIVERSITY PRESS},
	year = {2007},
	address = {NULL},
	edition = {2}
}