books.google.com - This is a short, distinctive, modern, and motivated introduction to mathematical logic for senior undergraduate and beginning graduate students in mathematics and computer science. Any mathematician who is interested in knowing what logic is concerned with and who would like to learn Gödel’s incompleteness...https://books.google.com/books/about/A_Course_on_Mathematical_Logic.html?id=Q_-Y0wz7ri0C&q=recursive+extension&utm_source=gb-gplus-shareA Course on Mathematical Logic

Get this book in print

0 ReviewsWrite reviewhttps://books.google.com/books/about/A_Course_on_Mathematical_Logic.html?id=Q_-Y0wz7ri0C |