mathematical logic
mathematical logic: see symbolic logic.
The Columbia Electronic Encyclopedia, 6th ed. Copyright © 2012, Columbia University Press. All rights reserved. More on mathematical logic from Fact Monster:
 symbolic logic  symbolic logic symbolic logic or mathematical logic,formalized system of deductive logic, employing ...
 logic: Mathematics and Logic  Mathematics and Logic With the development of symbolic logic by George Boole and Augustus De Morgan ...
 symbolic logic: Bibliography  Bibliography See D. Hilbert and W. Ackermann, Principles of Mathematical Logic (tr. of 2d ed. ...
 proof, in mathematics  proof proof, in mathematics, finite sequence of propositions each of which is either an axiom or ...
 Hui Shih  Hui Shih Hui Shih , c.380–c.300 B.C., Chinese logician, remembered for his paradoxes. Little ...
See more Encyclopedia articles on: Mathematics
