Modern mathematical logic / (Record no. 5977)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 02278nam a22002057a 4500 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9781108833141 |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | Ref 511.3 M59m 2023 |
| 100 ## - MAIN ENTRY--AUTHOR NAME | |
| Relator code | auhtor. |
| Personal name | Mileti, Joseph. |
| 245 ## - TITLE STATEMENT | |
| Title | Modern mathematical logic / |
| Statement of responsibility, etc | by Joseph Mileti. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication | Cambridge, UK : |
| Name of publisher | Cambridge University Press, |
| Year of publication | c2023. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Number of Pages | xiv, 502 pages : |
| Other physical details | figs. ; |
| Accompanying material | 26 cm. |
| 440 ## - SERIES STATEMENT/ADDED ENTRY--TITLE | |
| Title | Cambridge Mathematical Textbooks. |
| 500 ## - GENERAL NOTE | |
| General note | Includes bibliographical references and index. |
| 505 ## - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Chapter 1 - Introduction. -- <br/>Chapter 2 - Induction and Recursion. -- <br/>Chapter 3 - Propositional Logic. -- <br/>Chapter 4 - First-Order Logic: Languages and Structures. -- <br/>Chapter 5 - Relationships between Structures. -- <br/>Chapter 6 - Implication and Compactness. -- <br/>Chapter 7 - Model Theory. -- <br/>Chapter 8 - Axiomatic Set Theory. -- <br/>Chapter 9 - Ordinals, Cardinals, and Choice. -- <br/>Chapter 10 - Set-Theoretic Methods in Model Theory. -- <br/>Chapter 11 - Computable Sets and Functions. -- <br/>Chapter 12 - Logic, Computation, and Incompleteness. -- <br/>Appendix: - Mathematical Background. -- <br/>Bibliography. -- <br/>List of Notation. -- <br/>Index. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | "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."-- Provided by publisher. |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Mathematical logic. |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Logic, Symbolic and mathematical. |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | Books |
| Withdrawn status | Lost status | Collection code | Home library | Current library | Shelving location | Date acquired | Full call number | Accession Number | Koha item type |
|---|---|---|---|---|---|---|---|---|---|
| Reference | ASCOT Library - Zabali Campus | ASCOT Library - Zabali Campus | Reference | 07/07/2026 | Ref 511.3 M59m 2023 | Ref5113004888 | Books |