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