| 1 |
|
Introduction to the Theory of Computation
by
4.24 avg rating — 2,104 ratings
Clogs
rated it 4 stars
See Review
|
|
| 2 |
|
Introduction to Algorithms
by
4.35 avg rating — 9,305 ratings
Clogs
rated it 5 stars
See Review
|
|
| 3 |
|
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity
by
4.36 avg rating — 22 ratings
|
|
| 4 |
|
Computability and Logic
by
4.13 avg rating — 167 ratings
|
|
| 5 |
|
Computability and Unsolvability
by
3.84 avg rating — 32 ratings
|
|
| 6 |
|
Computability Theory (Chapman Hall/CRC Mathematics Series)
by
4.17 avg rating — 18 ratings
|
|
| 7 |
|
Computational Complexity
by
3.90 avg rating — 142 ratings
Clogs
rated it 4 stars
See Review
|
|
| 8 |
|
Elements of the Theory of Computation
by
3.92 avg rating — 118 ratings
Clogs
rated it 4 stars
See Review
|
|
| 10 |
|
Introduction to Automata Theory, Languages, and Computation
by
4.06 avg rating — 668 ratings
|
|
| 11 |
|
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
by
3.91 avg rating — 11 ratings
|
|
| 12 |
|
Lambda-Calculus and Combinators: An Introduction
by
3.83 avg rating — 23 ratings
|
|
| 13 |
|
Lambda-calculus, Combinators and Functional Programming (Cambridge Tracts in Theoretical Computer Science, Series Number 4)
by
liked it 3.00 avg rating — 6 ratings
|
|