※一部利用できない機能があります
- Logic, Symbolic and mathematical (43)
- Artificial intelligence (6)
- Computational complexity (5)
- Logic programming (4)
- Mathematics--Philosophy (3)
- Set theory (3)
- Automatic theorem proving (2)
- Computable functions (2)
- Computer science (2)
- Computer science--Mathematics (2)
- Electronic data processing--Mathematics (2)
- Electronic digital computers--Programming (2)
- Formal languages (2)
- Machine theory (2)
- Mathematical recreations (2)
- Mathematics (2)
- Proof theory (2)
- Recursive functions (2)
- Abstract data types (Computer science)--Mathematical models (1)
- Algebra, Boolean (1)
- Automata (1)
- Categorial grammar (1)
- Computer programs--Correctness (1)
- Discoveries in science (1)
- Grammar, Comparative and general--Syntax (1)
- Lambda calculus (1)
- Language and logic (1)
- Logical positivism (1)
- Mathematical linguistics (1)
- Mathematicians--Psychology (1)
- Number theory (1)
- Problem solving (1)
- Propositional calculus (1)
- Reasoning (1)
- Toposes (1)