Introduction to Mathematical Logic

From Dust jacket.This book is ideally suited for teaching a compact course in mathematical logic and offers a rapid, concise and rigorous survey of the field. It is designed specifically for those students and mathematicians who, not knowing much logic and not intending to devote a great deal of time to it, want to become acquainted with the important results of modern logic, such as Godel's theorems, Church's theorem, undecidable theories, and consistency of the axiom of choice.