Related terms:
frege
peano
modal logic
logika
brouwer
hilbert
axioms
deductive
incompleteness theorem
tarski
logicians
proof theory
principia mathematica
david hilbert
propositional logic
s lemma
provable
axiomatic
functional analysis
forall
informal logic
van heijenoort
excluded middle
conjecture
introduction to mathematical philosophy
classical logic
mathematik
intuitionistic logic
foundations of mathematics
recursion theory
Wikipedia sources:
Logic
Axiom
Mathematical logic
David Hilbert
Mathematics
Argument
Philosophy of mathematics
Willard Van Orman Quine
History of mathematics
Tautology (logic)
Mathematical induction
Bertrand Russell
List of academic disciplines
If and only if
Lambda calculus
Equivalence relation
Theorem
Logic programming
Axiom of choice
Fuzzy logic
Context for words:
mathematical
logic
|
|