Barnes, Donald W. An algebraic introduction to mathematical logic / Donald W. Barnes, John M. Mack. - New York : Springer-Verlag, 1975. - viii, 121 p. : - Graduate texts in mathematics ; v. 22 . Includes indexes. ISBN: ISBNSc1282 Subjects--Topical Terms: Logic, Symbolic and mathematical. Dewey Class. No.: 511.3 / Al