Similar to 決定問題

Pragmatic maxim

Logic level

Contextualism

Dialectic

Markov decision process

Münchhausen trilemma

Mill's methods

Imperative logic

Modal logic

Apophasis

Four-valued logic

Quantum logic

Philosophy of logic

Theory of computation

First Draft of a Report on the EDVAC

First-order logic

Backward chaining

Automata theory

Typed lambda calculus

Recursive language

Recursively enumerable language

Computably enumerable set

Computable function

Computable number

A New Kind of Science#Principle of computational equivalence