Related terms:
boole
peano
skolem
zermelo
dummett
brouwer
fraenkel
strawson
logicians
modal logic
saul kripke
transfinite
intuitionism
gottlob frege
alfred tarski
propositional
intuitionistic
van heijenoort
truth predicate
possible worlds
kripke semantics
william heinemann
normal modal logic
computable function
logical consequence
completeness theorem
intuitionistic logic
propositional function
accessibility relation
loeb classical library
Wikipedia sources:
Truth
Modal logic
Saul Kripke
Philosophy of language
Euclidean geometry
Axiom of choice
Function (mathematics)
Mathematical logic
Philosophy of mathematics
Context for words:
tarski
|
|