Retaining all the key features of the previous editions, Introduction to Mathematical Logic, Fifth Edition explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. The text also discusses the major results of Gdel, Church, Kleene, Rosser, and Turing.New to the Fifth Edition A new section covering basic ideas and results about nonstandard models of number theoryA second appendix that introduces modal propositional logicAn expanded bibliography Additional exercises and selected answers This long-established text continues to expose students to natural proofs and set-theoretic methods. Only requiring some experience in abstract mathematical thinking, it offers enough material for either a one- or two-semester course on mathematical logic.
Cited By
- Naumov P and Yuan Y (2021). Intelligence in Strategic Games, Journal of Artificial Intelligence Research, 71, (521-556), Online publication date: 10-Sep-2021.
- Azimipour S and Naumov P (2021). Axiomatic theory of betweenness, Archive for Mathematical Logic, 60:1-2, (227-239), Online publication date: 1-Feb-2021.
- Obrenović N, Luković I and Ristić S (2019). Consolidation of database check constraints, Software and Systems Modeling (SoSyM), 18:3, (2111-2135), Online publication date: 1-Jun-2019.
- Chen X and Roşu G Matching μ-logic Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, (1-13)
- Kumar R, Arthan R, Myreen M and Owens S (2016). Self-Formalisation of Higher-Order Logic, Journal of Automated Reasoning, 56:3, (221-259), Online publication date: 1-Mar-2016.
- Vargas-Vera M (2016). Methodology for the Elaboration of Quizzes using Propositional Logic Calculus in an E-Learning Environment, International Journal of Knowledge Society Research, 7:4, (63-74), Online publication date: 1-Oct-2016.
- Domracheva A and Shapkin P (2016). Type-theoretic Means for Querying Heterogeneous Data Sources Available via Cloud APIs, Procedia Computer Science, 96:C, (951-960), Online publication date: 1-Oct-2016.
- (2016). Kripke-type Semantics for CG3', Electronic Notes in Theoretical Computer Science (ENTCS), 328:C, (17-29), Online publication date: 8-Dec-2016.
- Bair L and Tolk A Towards a unified theory of validation Proceedings of the 2013 Winter Simulation Conference: Simulation: Making Decisions in a Complex World, (1245-1256)
- Estrada O, Arrazola J and Osorio M A possibilistic intuitionistic logic Proceedings of the 9th Mexican international conference on Advances in artificial intelligence: Part I, (362-373)
- Casagrande A, Piazza C and Policriti A (2009). Discrete Semantics for Hybrid Automata, Discrete Event Dynamic Systems, 19:4, (471-493), Online publication date: 1-Dec-2009.
- Bengio Y (2009). Learning Deep Architectures for AI, Foundations and Trends® in Machine Learning, 2:1, (1-127), Online publication date: 1-Jan-2009.
- Alonso J, Magdalena L and González-Rodríguez G (2009). Looking for a good fuzzy system interpretability index, International Journal of Approximate Reasoning, 51:1, (115-134), Online publication date: 1-Dec-2009.
- Cohen A Anaphora resolution as equality by default Proceedings of the 6th discourse anaphora and anaphor resolution conference on Anaphora: analysis, algorithms and applications, (44-58)
- Vaillant S A finite first-order presentation of set theory Proceedings of the 2002 international conference on Types for proofs and programs, (316-330)
Index Terms
- Introduction to Mathematical Logic