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