Dead by nightfall / Lists

This work is on 2 lists.

Recent Activity

When	What	Who	Comment
34 seconds ago	My library (list) - diff	ejeandel	Added Classical Recursion Theory, Volume II (Studies in Logic and the Foundations of Mathematics) to the list.
45 seconds ago	My library (list) - diff	ejeandel	Added Handbook of computability theory to the list.
1 minute ago	My library (list) - diff	ejeandel	Added Higher recursion theory to the list.
2 minutes ago	My library (list) - diff	ejeandel	Added Unsolvable classes of quantificational formulas to the list.
2 minutes ago	My library (list) - diff	ejeandel	Added Complexity, logic, and recursion theory to the list.