Analysis and logic /
Henson, C. W.
Finet, Catherine.
Michaux, Christian.
Cambridge : Cambridge University Press,
2002.
Three mini-courses given at an international conference entitled Analyse & logique at the University of Mons-Hainaut, Mons, Belgium from 25 to 29 August 1997-Pref.
Includes bibliographical references and index.
Mathematical analysis
Logic, Symbolic and mathematical