Connections
sequent calculus
Entity
proof theory
Entity
normal form
Entity
International Standard Book Number
Entity
digital object identifier
Entity
OCLC, Inc.
Entity
Prolog
Entity
logical contradiction
Entity
lemma
Entity
tautology
Entity
principle of excluded middle
Entity
MathWorld
Entity
first-order logic
Entity
Peano axioms
Entity
Q22908627
Entity
Stephen Cole Kleene
Entity
consistency
Entity
classical logic
Entity
Haskell Curry
Entity
Gerhard Gentzen
Entity