Symbolic Logic
Encyclopedia article; The Columbia Encyclopedia, Sixth Edition, 2009
...SYMBOLIC LOGIC or mathematical logic, formalized system of deductive logic, employing abstract...Ackermann, Principles of Mathematical Logic (tr. of 2d ed. 1950); W. V. Quine, Mathematical Logic (1968) and Methods...