The Universal Computer: The Road from Leibniz to Turing | 4 | 2 reads | |
Engines of logic : mathematicians and the origin of the computer | 0 | 1 read | |
| 0 | 2 reads | |
Il calcolatore universale - Martin D. Davis
- Gianni Rigamonti (translator)
| 5 | 2 reads | |
The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions | 0 | 1 read | |
Computability and Unsolvability | 0 | 1 read | |
Μηχανές της λογικής: Η συνεισφορά των μαθηματικών στην ανάπτυξη των υπολογιστών - Martin D. Davis
- Στάθης Ζάχος (Translator)
| 0 | 1 read | |