反馈文件质量
scihub/10.1007/978-1-4471-4558-5.pdf
[Universitext] Logic and Structure || 🔍
Dirk van Dalen (auth.) Springer London : Imprint : Springer, 10.1007/97, 2013
英语 [en] · PDF · 2.2MB · 2013 · 📘 非小说类图书 · 🚀/lgli/scihub/zlib · Save
描述
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-contained and provides a systematic exposition of the necessary recursion theory.
This new edition has been properly revised and contains a new section on ultra-products.
备用文件名
zlib/no-category/van Dalen, Dirk/[Universitext] Logic and Structure ||_54086271.pdf
备选标题
Logic and Structure [recurso electrónico
备选标题
Logic and Structure (Universitext)
备选作者
van Dalen, Dirk
备选作者
by Dirk Dalen
备用出版商
Springer London Ltd
备用版本
Springer Nature (Textbooks & Major Reference Works), London, 2013
备用版本
Universitext, 5th ed. 2013., London, United Kingdom, 2013
备用版本
United Kingdom and Ireland, United Kingdom
备用版本
UNIVERSITEXT, Fifth edition 2013, uuuu
元数据中的注释
sm21707147
元数据中的注释
MiU
备用描述
<p>Introduction
Propositional Logic
Predicate Logic
Completeness and Applications
Second Order Logic
Intuitionistic Logic
Normalization
Gödel's theorem.</p>.
开源日期
2015-07-14
更多信息……

🚀 快速下载

成为会员以支持书籍、论文等的长期保存。为了感谢您对我们的支持，您将获得高速下载权益。❤️

🐢 低速下载

由可信的合作方提供。 更多信息请参见常见问题解答。 （可能需要验证浏览器——无限次下载！）

所有选项下载的文件都相同，应该可以安全使用。即使这样，从互联网下载文件时始终要小心。例如，确保您的设备更新及时。
显示外部下载
  • 对于大文件，我们建议使用下载管理器以防止中断。
    推荐的下载管理器：JDownloader
  • 您将需要一个电子书或 PDF 阅读器来打开文件，具体取决于文件格式。
    推荐的电子书阅读器：Anna的档案在线查看器、ReadEra和Calibre
  • 使用在线工具进行格式转换。
    推荐的转换工具：CloudConvert和PrintFriendly
  • 您可以将 PDF 和 EPUB 文件发送到您的 Kindle 或 Kobo 电子阅读器。
    推荐的工具：亚马逊的“发送到 Kindle”和djazz 的“发送到 Kobo/Kindle”
  • 支持作者和图书馆
    ✍️ 如果您喜欢这个并且能够负担得起，请考虑购买原版，或直接支持作者。
    📚 如果您当地的图书馆有这本书，请考虑在那里免费借阅。