@book{9949,
	author = {Acharya,B.P.},
	title = {Elements of Symbolic Logic and set theory},
	year = {1981}
}