Category:数理論理学関連のスタブ項目

Ackermann function

Shor's algorithm

Type theory

New Foundations

Principia Mathematica

Arity

Successor function

Proof by contradiction

Converse (logic)

Double recursion

Finite model theory

Church–Rosser theorem

Four-valued logic

Low basis theorem

Template:Mathlogic-stub

Inverse (logic)

Mathematical proof

Lusin's separation theorem

Intermediate logic

Tee (symbol)

Slow-growing hierarchy

Counterexample

Frege's theorem

Polyadic algebra

Metalanguage

Sudan function