mathematical logic

Share on Facebook Share on Twitter Email
Top

A term for modern formal logic, particularly those logical calculi powerful enough to express classical mathematics.

Post a question - any question - to the WikiAnswers community:

Copyrights:

Mentioned in

metamathematics (mathematics)
symbolic logic (mathematics)
Whitehead, Alfred North (British mathematician and philosopher)