@book{134355,
	author = {Lover, Robert.},
	title = {Elementary logic for software development /},
	publisher = {Springer,},
	year = {c2008.},
	address = {London :},
	note = {Includes Index.}
}