Reasoning with the infinite from the closed world to the mathematical universe - Blay, Michel 1948- (The University of Chicago Press, 1993)