Barnes Donald W

Algebraic introduction to mathematical logic - New York Springer Verlag 1975 - viii, 121p. cm. - Graduate texts in mathematics; 22 .

19541

Textual


Algebraic logic
Logic Symbol and mathematical

B:(R1), L51