@book{9950,
	author = {Acharya,B.P.},
	title = {Elements of symbolic logic and set theory}
}