@book{77016,
	author = {Halmos, Paul and Givant, Steven},
	title = {Logic as Algebra},
	publisher = {Mathematical association of America},
	year = {1998},
	address = {USA}
}