Barnes, Donald

An algebraic introduction to mathematical logic - New York Springer 1975 - Graduate texts in mathematics :22 .

0387901094