Algebraic introduction to mathematical logic (an) - Barnes, Donald W.; Mack, John M.; SpringerLink (Online service) (New York Springer, 1975)
Keywords: MATHEMATICS; MATHEMATICAL LOGIC