Suggested Topics within your search.
Suggested Topics within your search.
Logic, Symbolic and mathematical
264
Congresses
45
Mathematics
36
Philosophy
26
Computer science
16
Automatic theorem proving
15
Set theory
15
Artificial intelligence
9
Methodology
9
Probabilities
9
Electronic data processing
8
Reasoning
8
Science
8
Computer programming
7
Logic
7
Expert systems (Computer science)
4
Logic programming
4
Thought and thinking
4
Algebra
3
Algebra, Boolean
3
Computable functions
3
Computational complexity
3
Computers
3
Data processing
3
Electronic digital computers
3
Nonclassical mathematical logic
3
Programmed instruction
3
Programming languages (Electronic computers)
3
Recursive functions
3
Semantics
3
-
1
-
2
-
3
-
4
-
5
-
6
-
7
-
8
-
9
-
10Bookby García Bacca, Juan David, 1901-Subjects: “…Logic, Symbolic and mathematical.…”
Published 1934
-
11
-
12
-
13
-
14
-
15
-
16
-
17
-
18
-
19
-
20Bookby Goodstein, R. L. (Reuben Louis)Subjects: “…Logic, Symbolic and mathematical.…”
Published 1971