Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the
Association for Symbolic Logic, Leeds, July 1997 / edited by S. Barry Cooper, John
K. Truss, 1999
Information trouvée : En poste à l'Université de Leeds (en 1997)
http://authorities.loc.gov/cgi-bin/Pwebrecon.cgi?DB=local&PAGE=First.