Similar to ブール代数

Algorithm

P-adic Teichmüller theory

Abel–Ruffini theorem

DPLL algorithm

Smn theorem

Herbrand's theorem

Relation algebra

Goodstein's theorem

Knuth–Bendix completion algorithm

Laws of Form

Gödel's completeness theorem

Gödel's incompleteness theorems

Tarski's undefinability theorem

Turing degree

Turing jump

Boolean function

Boolean-valued function

Boolean domain

General recursive function

Annales de Gergonne

RSA (cryptosystem)

Vieta jumping

Witch of Agnesi

Abelian group

Category of abelian groups

Abelian category