Barnes, Donald W., 1935- An algebraic introduction to mathematical logic / Donald W. Barnes, John M. Mack. - New York : Springer, c1975. - viii, 121 p. : il. - Graduate texts in mathematics ; v. 22 . ISBN: 0387901094 Subjects--Topical Terms: Lógica algébrica.Lógica simbólica e matemática. Dewey Class. No.: 511.3