Modern mathematical logic

著者

• Mileti, Joseph

書誌事項

Modern mathematical logic

Joseph Mileti

（Cambridge mathematical textbooks）

Cambridge University Press, c2023

• : hardback

注記

Includes bibliographical references (p. 496-497) and index

内容説明・目次

内容説明

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.

目次

• Preface
• Acknowledgements
• 1. Introduction
• 2. Induction and recursion
• 3. Propositional logic
• 4. First-order logic: languages and structures
• 5. Relationships between structures
• 6. Implication and compactness
• 7. Model theory
• 8. Axiomatic set theory
• 9. Ordinals, cardinals, and choice
• 10. Set-theoretic methods in model theory
• 11. Computable sets and functions
• 12. Logic, computation, and incompleteness
• Appendix: mathematical background
• References
• Index.

「Nielsen BookData」 より

詳細情報

• NII書誌ID(NCID): BD03959640
• ISBN:
  • 9781108833141
• 出版国コード: uk
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Cambridge
• ページ数/冊数: xiv, 502 p.
• 大きさ: 26 cm
• 分類:
  • DC23 : 511.3
• 件名:
  • LCSH : Logic, Symbolic and mathematical
• 親書誌ID:
  • BA04367554