The present book has developed out of courses given at the mathematics
department of Utrecht University. The experience drawn from these courses
and the reaction of the participants suggested strongly that one should not
practice and teach logic in isolation. As soon as possible examples from everyday
mathematics should be introduced; indeed, first-order logic finds a
rich field of applications in the study of groups, rings, partially ordered sets,
etc.