Search Results - "Logic, Symbolic and mathematical."
Suggested Topics within your search.
Suggested Topics within your search.
- Logic, Symbolic and mathematical 39
- Mathematics 6
- Philosophy 5
- Set theory 5
- Methodology 3
- Artificial intelligence 2
- Computer science 2
- Database management 2
- Reasoning 2
- Science 2
- Abelian groups 1
- Algebra, Abstract 1
- Algorithms 1
- Automatic control 1
- Automatic theorem proving 1
- Combinatorial analysis 1
- Computable functions 1
- Computational complexity 1
- Computer programming 1
- Congresses 1
- Data processing 1
- Electonic digital computers 1
- English language x Style 1
- Equations, Theory of 1
- Formal languages 1
- Fuzzy systems 1
- Knowledge representation (Information theory) 1
- Language and languages 1
- Machine theory 1
- Mathematical recreations 1
Search alternatives:
- "Logic, Symbolic and mathematical." »
-
1
Introduction to symbolic logic /
Published 1991Subjects: “…Logic, Symbolic and mathematical.…”
Book -
2
-
3
Logic of mathematics : a modern course of classical logic /
Published 1997Subjects: “…Logic, Symbolic and mathematical.…”
Book -
4
How to read and do proofs an introduction to mathematical thought process
Published 1982Subjects: “…Logic, Symbolic and mathematical…”
Book -
5
-
6
-
7
-
8
Introduction to mathematical logic
Published 1979Subjects: “…Logic, Symbolic and mathematical…”
Book -
9
Principles of mathematical logic /
Published 1990Subjects: “…Logic, Symbolic and mathematical.…”
Book -
10
Logic and algorithms : with applications to the computer and information sciences /
Published 1966Subjects: “…Logic, Symbolic and mathematical.…”
Book -
11
Direct and converse theorems : the elements of symbolic logic /
Published 1963Subjects: “…Logic, Symbolic and mathematical.…”
Book -
12
-
13
Computability : computable functions, logic, and the foundations of mathematics /
Published 1989Subjects:Book -
14
-
15
-
16
-
17
-
18
-
19
Elements of logic and foundations of mathematics in problems /
Published 1982Subjects: “…Logic, Symbolic and mathematical.…”
Book -
20
An introduction to mathematical logic and type theory : to truth through proof /
Published 1986Subjects: “…Logic, Symbolic and mathematical.…”
Book