Similar to 数学基礎論

Mathematical logic

Theory of computation

Fixed-point combinator

General recursive function

Algorithm

Computation tree logic

Formal system

Decision problem

Formation rule

Liar paradox

Temporal logic

Automated theorem proving

Linear temporal logic

Definable set

Boolean logic

Logic level

Markov decision process

Ackermann function

First-order logic

Recursive language

Recursively enumerable language

Computably enumerable set

Computable function

Computational complexity theory

Computational philosophy

Gödel numbering