Title: Algebraic methods of mathematical logic
First published: 1967