Analysis and logic (Cambridge University Press, 2002)