The following pages link to History of logic
External toolsShowing 50 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Propositional calculus (links | edit)
- Lambda calculus (links | edit)
- Logical positivism (links | edit)
- Lemma (mathematics) (links | edit)
- Mathematical induction (links | edit)
- Finitary relation (links | edit)
- Mathematical logic (links | edit)
- Model theory (links | edit)
- Class (set theory) (links | edit)
- NP (complexity) (links | edit)
- Ordered pair (links | edit)
- Probability (links | edit)
- Pythagoras (links | edit)
- Power set (links | edit)
- Platonic solid (links | edit)
- Ptolemy (links | edit)
- Principia Mathematica (links | edit)
- Paradox (links | edit)
- Proclus (links | edit)
- Primitive recursive function (links | edit)
- Recursion (links | edit)
- Proof by contradiction (links | edit)
- Set (mathematics) (links | edit)
- Soundness (links | edit)
- Set theory (links | edit)
- Subset (links | edit)
- Surjective function (links | edit)
- Semiotics (links | edit)
- Scientific Revolution (links | edit)
- Truth (links | edit)
- Thales of Miletus (links | edit)
- Turing machine (links | edit)
- Transfinite induction (links | edit)
- Theorem (links | edit)
- Uncountable set (links | edit)
- Chrysippus (links | edit)
- Hypatia (links | edit)
- Natural science (links | edit)
- Type theory (links | edit)
- Christiaan Huygens (links | edit)
- Arity (links | edit)
- Reason (links | edit)
- Begging the question (links | edit)
- Injective function (links | edit)
- Russell's paradox (links | edit)
- Eratosthenes (links | edit)
- Menelaus of Alexandria (links | edit)
- Philosophy of mathematics (links | edit)
- Dicaearchus (links | edit)
- Union (set theory) (links | edit)