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 .

0387901094


Lógica algébrica.
Lógica simbólica e matemática.

511.3