@book{278806,
	author = {kaur,amandeep},
	title = {Symbolic logic and logic programming},
	publisher = {Satya parkashan pub.},
	address = {New Delhi}
}