A timeline of mathematical logic; see also history of logic. 1847 – George Boole proposes symbolic logic in The Mathematical Analysis of Logic, defining...

Mathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory...

method of proof used in mathematics, a hearkening back to the Greek tradition. The development of the modern "symbolic" or "mathematical" logic during...

is a timeline of mathematicians in ancient Greece. Historians traditionally place the beginning of Greek mathematics proper to the age of Thales of Miletus...

mathematics is an extension of logic, some or all of mathematics is reducible to logic, or some or all of mathematics may be modelled in logic. Bertrand Russell...

First-order logic, also called predicate logic, predicate calculus, or quantificational logic, is a collection of formal systems used in mathematics, philosophy...

A timeline of calculus and mathematical analysis. 5th century BC - The Zeno's paradoxes, 5th century BC - Antiphon attempts to square the circle, 5th...

In mathematical logic, a sentence (or closed formula) of a predicate logic is a Boolean-valued well-formed formula with no free variables. A sentence...

Historical development of geometry Timeline of ancient Greek mathematicians Timeline of mathematical logic Timeline of mathematics Jones, Alexander; Proust...

a timeline of pure and applied mathematics history. It is divided here into three stages, corresponding to stages in the development of mathematical notation:...

In mathematical logic, a tautology (from Ancient Greek: ταυτολογία) is a formula that is true regardless of the interpretation of its component terms,...

Introduction to Mathematical Philosophy "New Foundations for Mathematical Logic" Principia Mathematica The Simplest Mathematics History and philosophy of science...

mathematical logic as a new area of mathematics, consisting of providing mathematical definitions to logics (sets of inference rules), mathematical and...

used in mathematical logic and computer science. Mathematical induction in this extended sense is closely related to recursion. Mathematical induction...

In mathematics and logic, a higher-order logic (abbreviated HOL) is a form of logic that is distinguished from first-order logic by additional quantifiers...

aspects of basic and advanced mathematics, methodology, mathematical statements, integrals, general concepts, mathematical objects, and reference tables...

In mathematical logic, propositional logic and predicate logic, a well-formed formula, abbreviated WFF or wff, often simply formula, is a finite sequence...

This is a timeline of women in mathematics. Before 350: Pandrosion, a Greek mathematician known for an approximate solution to doubling the cube and a...

Wolfgang (1994), Mathematical Logic (2nd ed.), New York: Springer, ISBN 978-0-387-94258-2 Hinman, P. (2005), Fundamentals of Mathematical Logic, A K Peters...

In logic and formal semantics, term logic, also known as traditional logic, syllogistic logic or Aristotelian logic, is a loose name for an approach to...

theory, a branch of mathematical logic, the diagram of a structure is a simple but powerful concept for proving useful properties of a theory, for example...

A mathematical proof is a deductive argument for a mathematical statement, showing that the stated assumptions logically guarantee the conclusion. The...

rules of inference to these axioms, aiming to demonstrate that the theorems are logical consequences. Mathematical logic, a subfield of mathematics and...

consistent with T, then A is said to be independent of T. In the following context of mathematical logic, the turnstile symbol ⊢ {\displaystyle \vdash } means...

formulas. Commonly encountered mathematical objects include numbers, expressions, shapes, functions, and sets. Mathematical objects can be very complex;...

crisis involved the rise of a new mathematical discipline called mathematical logic, which studies formal logic within mathematics. Discoveries made during...

In mathematics, a variable (from Latin variabilis 'changeable') is a symbol, typically a letter, that refers to an unspecified mathematical object. One...

Andreevich; Maksimova, Larisa (2003). Problems in Set Theory, Mathematical Logic, and the Theory of Algorithms. New York: Springer. p. 52. ISBN 0306477122....

In mathematics, an expression is a written arrangement of symbols following the context-dependent, syntactic conventions of mathematical notation. Symbols...

In model theory, a subfield of mathematical logic, an atomic model is a model such that the complete type of every tuple is axiomatized by a single formula...