登入選單
返回Google圖書搜尋
A Tour Through Mathematical Logic
Robert S. Wolf
出版Cambridge University Press, 2005-03-10
主題Mathematics / Algebra / AbstractMathematics / LogicMathematics / Combinatorics
ISBN08838503629780883850367
URLhttp://books.google.com.hk/books?id=FE5cluQ3CE4C&hl=&source=gbs_api
EBookSAMPLE
註釋The foundations of mathematics include mathematical logic, set theory, recursion theory, model theory, and Gödel's incompleteness theorems. Professor Wolf provides here a guide that any interested reader with some post-calculus experience in mathematics can read, enjoy, and learn from. It could also serve as a textbook for courses in the foundations of mathematics, at the undergraduate or graduate level. The book is deliberately less structured and more user-friendly than standard texts on foundations, so will also be attractive to those outside the classroom environment wanting to learn about the subject.