Modern Mathematical Logic

Mileti, Joseph

  • 出版商: Cambridge
  • 出版日期: 2022-09-22
  • 售價: $2,550
  • 貴賓價: 9.5$2,423
  • 語言: 英文
  • 裝訂: Hardcover - also called cloth, retail trade, or trade
  • ISBN: 1108833144
  • ISBN-13: 9781108833141
  • 海外代購書籍(需單獨結帳)

商品描述

This textbook gives a complete and modern introduction to mathematical logic. The author uses contemporary notation, conventions, and perspectives throughout, and emphasizes interactions with the rest of mathematics. In addition to covering the basic concepts of mathematical logic and the fundamental material on completeness, compactness, and incompleteness, it devotes significant space to thorough introductions to the pillars of the modern subject: model theory, set theory, and computability. Requiring only a modest background of undergraduate mathematics, the text can be readily adapted for a variety of one- or two-semester courses at the upper-undergraduate or beginning-graduate level. Numerous examples reinforce the key ideas and illustrate their applications, and a wealth of classroom-tested exercises serve to consolidate readers' understanding. Comprehensive and engaging, this book offers a fresh approach to this enduringly fascinating and important subject.

商品描述(中文翻譯)

這本教科書提供了一個完整且現代的數學邏輯入門。作者在整本書中使用當代的符號、慣例和觀點,並強調與其他數學領域的互動。除了涵蓋數學邏輯的基本概念和關於完備性、緊湊性和不完備性的基礎材料外,它還大量介紹了現代主題的基石:模型理論、集合論和可計算性。本書只需要一些本科數學的基礎知識,可以輕鬆地適應上本科或初級研究生水平的一學期或兩學期課程。大量的例子強化了關鍵思想並說明了它們的應用,豐富的經過課堂驗證的練習則有助於鞏固讀者的理解。這本書全面而引人入勝,為這個永恆迷人且重要的主題提供了一種新的方法。