Logic

Walk recurrence

Measurable function

Complementary slackness

Total preorder

Dominance

Mutual exclusivity

Proof system

Minimal Unsatisfiable Subset

Model

Short-circuit evaluation

Halfway case

Edit graph

Presburger arithmetic

Universal quantifier elimination

Free variable

Universal quantification

Alpha-conversion

free variables

membership predicate

characteristic predicate

Total computable function

Decidable set

Completeness under reductions

Reduction chain

Computable mapping reduction

Oracle computability

Quantifier alternation

Decidable problem

Uncountable set

Equipotent sets

Multivalued inverse

Dialectic

Satisfiability

Zero distance equivalence

Yoneda lemma

Hom-set

Strong normalization

Weak normalization

Termination

Five-term exact diagram

Five lemma

Satisfiability checking

Branch closure

Antecedent

Sequent calculus

Eigenvariable

Introduction rule

Soundness

Comparability

Hasse diagram