| 书目名称 | Logic and Structure | | 编辑 | Dirk Dalen | | 视频video | | | 概述 | Features a self-contained introduction into classical and intuitionistic logic using Gentzen’s natural deduction.Includes the basics of recursion, proof and model theory (including a new section on ul | | 丛书名称 | Universitext | | 图书封面 |  | | 描述 | .Dirk van Dalen’s popular textbook .Logic and Structure., now in its fifth edition, provides a comprehensive introduction to the basics of classical and intuitionistic logic, model theory and Gödel’s famous incompleteness theorem. .Propositional and predicate logic are presented in an easy-to-read style using Gentzen’s natural deduction. The book proceeds with some basic concepts and facts of model theory: a discussion on compactness, Skolem-Löwenheim, non-standard models and quantifier elimination. The discussion of classical logic is concluded with a concise exposition of second-order logic. .In view of the growing recognition of constructive methods and principles, intuitionistic logic and Kripke semantics is carefully explored. A number of specific constructive features, such as apartness and equality, the Gödel translation, the disjunction and existence property are also included. .The last chapter on Gödel‘s first incompleteness theorem is self-containedand provides a systematic exposition of the necessary recursion theory. .This new edition has been properly revised and contains a new section on ultra-products.. | | 出版日期 | Textbook 2013Latest edition | | 关键词 | Basic model theory; First-order logic with natural deduction; Goedel‘s theorem; Intuitionistic logic an | | 版次 | 5 | | doi | https://doi.org/10.1007/978-1-4471-4558-5 | | isbn_softcover | 978-1-4471-4557-8 | | isbn_ebook | 978-1-4471-4558-5Series ISSN 0172-5939 Series E-ISSN 2191-6675 | | issn_series | 0172-5939 | | copyright | Springer-Verlag London 2013 |
The information of publication is updating
|
|
发表于 2025-3-21 17:49:31
