Suggested Topics within your search.
Suggested Topics within your search.
- Logic, Symbolic and mathematical
- Mathematics
- Philosophy 26
- Computer science 10
- Set theory 8
- Data processing 4
- History 4
- Logic 4
- 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
- Enigma cipher system 2
- Machine theory 2
- Mathematicians 2
- Model theory 2
- Proof theory 2
-
1
Proof and knowledge in mathematics
Published 1992An electronic book accessible through the World Wide Web; click to view
Electronic eBook -
2
Publications 1929-1936 /
Published 1986An electronic book accessible through the World Wide Web; click to view
Electronic eBook -
3
In the light of logic
Published 1998An electronic book accessible through the World Wide Web; click to view
Electronic eBook -
4
The Oxford handbook of philosophy of mathematics and logic
Published 2005An electronic book accessible through the World Wide Web; click to view
Electronic eBook -
5
Commonsense reasoning
Published 2006An electronic book accessible through the World Wide Web; click to view
Electronic eBook -
6
Folk algebras in algebra logic and computer science /
Published 2002An electronic book accessible through the World Wide Web; click to view
Electronic eBook -
7
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 -
8
New essays on Tarski and philosophy
Published 2008An electronic book accessible through the World Wide Web; click to view
Electronic eBook -
9
Symbolic computation and education
Published 2007An electronic book accessible through the World Wide Web; click to view
Electronic Conference Proceeding eBook -
10
-
11
Logic and automata history and perspectives /
Published 2008An electronic book accessible through the World Wide Web; click to view
Electronic eBook -
12
Mathematical logic
Published 1981An electronic book accessible through the World Wide Web; click to view
Electronic eBook -
13
Essays in the philosophy and history of logic and mathematics
Published 2010An electronic book accessible through the World Wide Web; click to view
Electronic eBook -
14
-
15
-
16
Alan Turing his work and impact /
Published 2013An electronic book accessible through the World Wide Web; click to view
Electronic eBook -
17
Distilling ideas an introduction to mathematical thinking /
Published 2013An electronic book accessible through the World Wide Web; click to view
Electronic eBook -
18
Infinity and truth /
Published 2014An electronic book accessible through the World Wide Web; click to view
Electronic Conference Proceeding eBook -
19
-
20