[MathCongrès]
Models and computability
/ Ed. Cooper, S. Barry ; Ed. Truss, John K..
-Cambridge : Cambridge university Press, 1999. - ix, 419 p. ; 23 cm
[MathCongrès]
Sets and proofs
/ Ed. Cooper, S. Barry ; Ed. Truss, John K..
-Cambridge : Cambridge university Press, 1999. - ix, 436 p. ; 23 cm