This reader hasn't created any lists yet.
Recent Activity
When | What | Who | Comment |
---|---|---|---|
6 seconds ago | ejeandel | Added Unsolvable classes of quantificational formulas to the list. | |
24 seconds ago | ejeandel | Added Complexity, logic, and recursion theory to the list. | |
38 seconds ago | ejeandel | Added Recursion theory to the list. | |
1 minute ago | ejeandel | Added The decision problem to the list. | |
1 minute ago | el4ctr0n | Added Elinor Wylie to the list. |