This superb survey of the study of mathematical structures details how both model theoretic methods and permutation theoretic methods are useful in describing such structures. In addition, the book provides an introduction to current research concerning the connections between model theory and permutation group theory. Comprised of a collection of articles--some introductory, some more in-depth, and some containing previously unpublished research--the book will prove invaluable to graduate students meeting the subject for the first time as well as to active researchers studying mathematical...

This undergraduate textbook covers the key material for a typical first course in logic, in particular presenting a full mathematical account of the most important result in logic, the Completeness Theorem for first-order logic. Looking at a series of interesting systems, increasing in complexity, then proving and discussing the Completeness Theorem for each, the author ensures that the number of new concepts to be absorbed at each stage is manageable, whilst providing lively mathematical applications throughout. Unfamiliar terminology is kept to a minimum, no background in formal set-theory...