English Beginner A Course in Model Theory: An Introduction to Contemporary Mathematical Logic Bruno Poizat 2000 View book