Analysis and logic - Finet, Catherine (London Mathematical Society lecture note series / editor N. J. Hitchin, 2002)