<philosophical terminology> the systematic representation of logic. See propositional calculus and quantification theory. Recommended Reading: P. H. Nidditch, The Development of Mathematical Logic (St. Augustine, 1998); Graeme Forbes, Modern Logic: A Text in Elementary Symbolic Logic (Oxford, 1994); Irving M. Copi, Symbolic Logic (Prentice Hall, 1979); Willard V. O. Quine, Mathematical Logic (Harvard, 1981); and Alfred North Whitehead and Bertrand Arthur Russell, Principia Mathematica to 56 (Cambridge, 1997).
[A Dictionary of Philosophical Terminology]
Try this search on OneLook / Google