books.google.com - The Fourth Edition of this long-established text retains all the key features of the previous editions, covering the basic topics of a solid first course in mathematical logic. This edition includes an extensive appendix on second-order logic, a section on set theory with urlements, and a section on...https://books.google.com/books/about/Introduction_to_Mathematical_Logic_Fourt.html?id=ZO1p4QGspoYC&q=Church%27s+thesis&utm_source=gb-gplus-shareIntroduction to Mathematical Logic, Fourth Edition

Get this book in print

3 ReviewsWrite reviewhttps://books.google.com/books/about/Introduction_to_Mathematical_Logic_Fourt.html?id=ZO1p4QGspoYC |