This reader hasn't created any lists yet.
Recent Activity
When | What | Who | Comment |
---|---|---|---|
12 seconds ago | ejeandel | Added Theory of Computation (Texts in Computer Science) to the list. | |
1 minute ago | ejeandel | Added Classical Recursion Theory, Volume II (Studies in Logic and the Foundations of Mathematics) to the list. | |
2 minutes ago | ejeandel | Added Handbook of computability theory to the list. | |
2 minutes ago | ejeandel | Added Higher recursion theory to the list. | |
2 minutes ago | ejeandel | Added Unsolvable classes of quantificational formulas to the list. |