Similar to ブール代数

Algorithm

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

Boolean function

Boolean-valued function

Boolean domain

General recursive function

Annales de Gergonne

P-adic Teichmüller theory

P-adic distribution

RSA cryptosystem

Vieta jumping

Witch of Agnesi

Abelian group

Category of abelian groups

Abelian category

Abelian variety

Abel's theorem