Topic
511.3
15 books
How to prove it: a structured approach
Daniel J. Velleman.
There's something about Gödel: the complete guide to the incompleteness theorem
Francesco Berto.
DNA Computing: 6th International Workshop on Dna-Based Computers, DNA 2000, Leiden, the Netherlands, June 13-17, 2000: Revised Papers (Lecture Notes in Computer Science)
Anne Condon, Arto Salomaa, Grzegorz Rozenberg, Gheorghe Paun, Gheorghe Păun
Logical labyrinths
Raymond M. Smullyan.
Languages and Machines: An Introduction to the Theory of Computer Science (2nd Edition)
Thomas A. Sudkamp
More Precisely: The Math You Need to Do Philosophy
Eric Steinhart
Complexity explained
Péter Érdi.
Computational complexity
Christos H. Papadimitriou.
Elements of the theory of computation
Harry R. Lewis, Christos H. Papadimitriou.
Introduction to the theory of computation
Michael Sipser.
Showing 10 of 15 books