Barnes Donald W Algebraic introduction to mathematical logic - New York Springer Verlag 1975 - viii, 121p. cm. - Graduate texts in mathematics; 22 . Standard No.: 19541 Source: Textual Subjects--Topical Terms: Algebraic logicLogic Symbol and mathematical Dewey Class. No.: B:(R1), L51