Title: An algebraic introduction to mathematical logic
First published: 1975