A First Journey through Logic

ก.ย. 2019 · Student Mathematical Library หนังสือเล่มที่ 89 · American Mathematical Soc.

eBook

185

หน้า

เกี่ยวกับ eBook เล่มนี้

The aim of this book is to present mathematical logic to students who are interested in what this field is but have no intention of specializing in it. The point of view is to treat logic on an equal footing to any other topic in the mathematical curriculum. The book starts with a presentation of naive set theory, the theory of sets that mathematicians use on a daily basis. Each subsequent chapter presents one of the main areas of mathematical logic: first order logic and formal proofs, model theory, recursion theory, Gödel's incompleteness theorem, and, finally, the axiomatic set theory. Each chapter includes several interesting highlights—outside of logic when possible—either in the main text, or as exercises or appendices. Exercises are an essential component of the book, and a good number of them are designed to provide an opening to additional topics of interest.

สำรวจหนังสือเล่มอื่นๆ

เกี่ยวกับผู้แต่ง

Martin Hils: Westfälische Wilhelms-Universität Münster, Münster, Germany,
François Loeser: Sorbonne Université, Paris, France

Martin Hils: Westfälische Wilhelms-Universität Münster, Münster, Germany, François Loeser: Sorbonne Université, Paris, France

ให้คะแนน eBook นี้

แสดงความเห็นของคุณให้เรารับรู้

ข้อมูลในการอ่าน

สมาร์ทโฟนและแท็บเล็ต

ติดตั้งแอป Google Play Books สำหรับ Android และ iPad/iPhone แอปจะซิงค์โดยอัตโนมัติกับบัญชีของคุณ และช่วยให้คุณอ่านแบบออนไลน์หรือออฟไลน์ได้ทุกที่

แล็ปท็อปและคอมพิวเตอร์

คุณฟังหนังสือเสียงที่ซื้อจาก Google Play โดยใช้เว็บเบราว์เซอร์ในคอมพิวเตอร์ได้

eReader และอุปกรณ์อื่นๆ

หากต้องการอ่านบนอุปกรณ์ e-ink เช่น Kobo eReader คุณจะต้องดาวน์โหลดและโอนไฟล์ไปยังอุปกรณ์ของคุณ โปรดทำตามวิธีการอย่างละเอียดในศูนย์ช่วยเหลือเพื่อโอนไฟล์ไปยัง eReader ที่รองรับ

แจ้งว่าไม่เหมาะสม