@book{3769,
	author = { Reeves,steve/clarke,michael },
	title = { Logic for computer science },
	address = { Addison-wesley }
}