Computability and Logic

This book is intended for the student in philosophy or pure or applied mathematics who has mastered the material ordinarily covered in a first course in logic and who wishes to advance his or her acquaintance with the subject. The aim of the book is to present the principal fundamental theoretical results about logic, and to cover certain other metalogical results whose proofs are not easily obtainable elsewhere. We have tried to make the exposition as readable as was compatible with the presentation of complete proofs, to use the most elegant proofs we knew of, to employ standard notation, and to reduce hair (as it is technically known).