@book{477,
	author = {Arindama Singh},
	title = {Logics for computer science},
	publisher = {Prentice Hall of India,},
	year = {2004.},
	address = {India:}
}