Mathematical logic

From Wikipedia, the free encyclopedia
Jump to: navigation, search

Mathematical logic is a field of mathematics, that tries to formalize logic so that it can be used for mathematics more easily. Logic is about reasoning, mathematical logic tries to use symbols. Most of mathematical logic was,developed in the 19th and 20th century.