Barnes, Donald W Algebraic introduction to mathematical logic - New York Springer-Verlag 1975 - viii, 121 p. Dewey Class. No.: 511.3 B261A