Ebook: An Algebraic Introduction to Mathematical Logic

This book is intended for mathematicians. Our treatment of mathematical logic is algebraic. Although we assurne a reasonable level of sophistication in algebra, the text requires little more than the basic notions of group, ring, module, etc. This book is intended to make mathematica llogic available to mathematicians working in other branches of mathematics. We have included what we consider to be the essential basic theory, some useful techniques, and some indications of ways in which the theory might be of use in other branches of mathematics. We also have included a number of exercises.