@book{21417,
	author = {Goodstein, R.L.},
	title = {Boolean algebra},
	publisher = {Macmillan},
	year = {1963}
}