@book{5507,
	author = {Singh,Gurdev and Bhatia,Mandeep Singh},
	title = {Symbolic logic and prolog},
	publisher = {Khanna Publishers},
	year = {2011},
	address = {New Delhi},
	edition = {1st Ed.}
}