@book{161443,
	author = {Barnes, D. W. and Mack, J. M.,},
	title = {An algebraic introduction to mathematical logic /},
	publisher = {Springer-Verlag,},
	year = {[1975]},
	address = {New York :},
	note = {Includes indexes.}
}