@book{180559,
	author = {SINGH (ARINDMA)},
	title = {Logics for Computer Science},
	publisher = {PHI},
	address = {New Delhi}
}