This book is a development of lectures given by the author numerous times at the Universityof Colorado, and once at the University of California, Berkeley. A
large portion was written while the author worked at the Forschungsinstitut fur
Mathematik, Eidgennossische Technische Hochschule, Zurich.
A detailed description of the contents of the book, notational conventions, etc..
is found at the end of the introduction.
The author's main professional debt is to Alfred Tarski, from whom he learned
logic. Several former students have urged the author to publish such a book as this;
for such encouragement I am especially indebted to Ralph McKenzie.
1 wish to thank James Fickett and Stephen Comer for invaluable help in finding
(some of the) errors in the manuscript. Comer also suggested several of the
exerCIses.