Related articles:
David Hilbert
Logic
Modal logic
George Boole
Set theory
First-order logic
Category theory
Mathematical proof
Mathematics
Geometry
Georg Cantor
Set (mathematics)
If and only if
Logic programming
Bertrand Russell
Mathematical induction
Mathematical analysis
Function (mathematics)
Lambda calculus
Alfred North Whitehead
Arithmetic
Alan Turing
Abstract algebra
Philosophy
Algebraic geometry
Semantics
Computer science
Syllogism
Key terms:
axioms
hilbert
zf
computability
cardinality
recursion theory
logika
kleene
mathematical logic
zermelo
proof theory
axiom of choice
quantifiers
unsolvability
axiomatic
brouwer
peano
frege
dedekind
formal logic
incompleteness theorem
intuitionistic logic
continuum hypothesis
van heijenoort
boole
constructive mathematics
subfield
reprinted in english translation
countable
sufficiently strong
modal logic
provability
compactness
computable function
principia mathematica
algorithmically unsolvable
transfinite
axioms for geometry
david hilbert
weierstrass
tarski
generalized recursion theory
vaught
undecidable
consistency proof
fraenkel
logical consequence
intuitionism
study of computability
computability theory
Search external links cited by footnotes on Wikipedia page Mathematical logic:
|
|