An algebraic introduction to mathematical logic

Main Author: D. W. Barnes, J. M. Mack
Call Number: QA9 .B27
Published: New York : Springer-Verlag, [1975]
Location: Addelman-Semple Library [2013-05-29]
Format: Book