@book{7452,
	author = {Mitra, Kumar},
	title = {Exercises in symbilic logic : a guide book},
	year = {2000}
}