Subject
Logic, Symbolic and mathematical.
119
Logic, Symbolic and mathematical
118
Computer science
72
Artificial intelligence
38
Logic design
34
Mathematics
20
Algebra
16
Information theory
14
Computer science.
13
Computer software
13
Logic design.
11
Set theory.
11
Science
9
Computational complexity.
8
Logic, Symbolic and mathematical -- Congresses.
8
Electronic data processing
7
Computational complexity
6
Software engineering
6
Artificial intelligence.
5
Computer software.
5
Mathematics -- Philosophy.
5
Mathematics.
5
Set theory
5
Combinatorics
4
Information theory.
4
Operating systems (Computers)
4
Computable functions.
3
Electronic data processing.
3
Global analysis (Mathematics)
3
Logic
3
Modality (Logic)
3
Model theory.
3
Probabilities.
3
Proof theory.
3
Semantics (Philosophy)
3
Algorithms
2
Automatic theorem proving.
2
Categories (Mathematics)
2
Coding theory
2
Computer programming.
2
Computer science -- Mathematics -- Textbooks.
2
Constructive mathematics.
2
Engineering
2
Engineering mathematics
2
Game theory
2
Game theory.
2
Genetic epistemology.
2
Intuitionistic mathematics.
2
Logic, Symbolic and mathematical -- Textbooks.
2
Mathematicians
2
more ...