1
Recursion theory : computational aspects of definability [E-Book] /
...De Gruyter Series in Logic and Its Applications ;...

Full text 
2
The axiom of determinacy, forcing axioms, and the nonstationary ideal / [E-Book]
3
The determinacy of long games / [E-Book]
...De Gruyter series in logic and its applications ;...

Full text 
4
Aspects of complexity : minicourses in algorithmics, complexity and computational algebra : mathematics workshop, Kaikoura, January 7-15, 2000 [E-Book] /
5
One Hundred Years of Russell´s Paradox [E-Book] : Mathematics, Logic, Philosophy.
6
The Determinacy of Long Games [E-Book].
...De Gruyter Series in Logic and Its Applications ;...

Full text 
7
The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal [E-Book].