Suggested Topics within your search.
Suggested Topics within your search.
- Logic, Symbolic and mathematical
- Mathematics
- Philosophy 38
- Computer science 14
- Mathematical Logic and Foundations 12
- Logic 10
- Philosophy (General) 8
- Set theory 8
- Game Theory, Economics, Social and Behav. Sciences 6
- Philosophy of Science 6
- Science 6
- Data processing 4
- History 4
- Popular Science in Mathematics/Computer Science/Natural Science/Technology 4
- Arithmetic 2
- Artificial intelligence 2
- Automation 2
- Axiomatic set theory 2
- Commonsense reasoning 2
- Computable functions 2
- Computational complexity 2
- Computer-assisted instruction 2
- Constructive mathematics 2
- Critical thinking 2
- Economics, Mathematical 2
- Enigma cipher system 2
- Foundations 2
- Game Theory/Mathematical Methods 2
- Linguistics 2
- MATHEMATICS / Functional Analysis 2
-
1
-
2
-
3
-
4
-
5
-
6
-
7
Foundational Theories of Classical and Constructive Mathematics
Published 2011Get full text
Electronic eBook -
8
-
9
Proof and knowledge in mathematics
Published 1992An electronic book accessible through the World Wide Web; click to view
Electronic eBook -
10
Publications 1929-1936 /
Published 1986An electronic book accessible through the World Wide Web; click to view
Electronic eBook -
11
In the light of logic
Published 1998An electronic book accessible through the World Wide Web; click to view
Electronic eBook -
12
The Oxford handbook of philosophy of mathematics and logic
Published 2005An electronic book accessible through the World Wide Web; click to view
Electronic eBook -
13
Commonsense reasoning
Published 2006An electronic book accessible through the World Wide Web; click to view
Electronic eBook -
14
Folk algebras in algebra logic and computer science /
Published 2002An electronic book accessible through the World Wide Web; click to view
Electronic eBook -
15
Mathematical logic in Asia proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005 /
Published 2006An electronic book accessible through the World Wide Web; click to view
Electronic Conference Proceeding eBook -
16
New essays on Tarski and philosophy
Published 2008An electronic book accessible through the World Wide Web; click to view
Electronic eBook -
17
Symbolic computation and education
Published 2007An electronic book accessible through the World Wide Web; click to view
Electronic Conference Proceeding eBook -
18
-
19
Logic and automata history and perspectives /
Published 2008An electronic book accessible through the World Wide Web; click to view
Electronic eBook -
20
Mathematical logic
Published 1981An electronic book accessible through the World Wide Web; click to view
Electronic eBook