My first book of sign / Lists

This work is on 2 lists.

Recent Activity

When	What	Who	Comment
35 seconds ago	My library (list) - diff	ejeandel	Added Classical Recursion Theory, Volume II (Studies in Logic and the Foundations of Mathematics) to the list.
47 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.