An algebraic introduction to mathematical logic /
D. W. Barnes, J. M. Mack.
- New York : Springer-Verlag, [1975]
- viii, 121 p. : ill. ; 24 cm.
- Graduate texts in mathematics ; v. 22 .
Includes indexes.
Bibliography: p. 115.
GFR***
Logic, Symbolic and mathematical. Algebraic logic.