Analysis and logic - Finet, Catherine (Cambridge University Press, 2002)