Felscher W. Lectures on mathematical logic. Vol. I. Set theoretical logic - The algebra of models

Amsterdam: Gordon and Breach Science Publishers, 2000. — x+284 p. — ISBN: 90-5699-266-XThis is the first of three books of Lectures on Mathematical Logic, destined for students of mathematics or computer science, in their third or fourth year at the university, as well as for their instructors. It is written as the traditional combination of textbook and monograph: while the titles of chapters and sections will sound familiar to those moderately acquainted with logic, their content and its presentation is likely to be new also to the more experienced reader. In particular, concepts have been set up such that the proofs do not act as mousetraps, from which the reader cannot escape without acknowledging the desired result, but make it obvious why they entail their result with an inner stringency. In so far, the book expects from the reader a certain maturity; while accessible to students, it also will be helpful to lecturers who look for motivations of procedures which they may only have seen in the form of dried-out, dogmatic prescriptions.