This reader hasn't created any lists yet.
Recent Activity
When | What | Who | Comment |
---|---|---|---|
16 seconds ago | ejeandel | Added Higher recursion theory to the list. | |
41 seconds ago | ejeandel | Added Unsolvable classes of quantificational formulas to the list. | |
1 minute ago | ejeandel | Added Complexity, logic, and recursion theory to the list. | |
1 minute ago | ejeandel | Added Recursion theory to the list. | |
2 minutes ago | ejeandel | Added The decision problem to the list. |