Type Theory and Formal Proof An Introduction（Rob Nederpelt Herman Geuvers）（Cambridge University Press 2014）

  • 书名：Type Theory and Formal Proof: An Introduction
  • 出版社：Cambridge University Press
  • 作者：Rob Nederpelt, Herman Geuvers
  • 出版年份：2014
  • 电子书格式： pdf
  • 简介：Dive into the world of type theory and formal proof with Rob Nederpelt and Herman Geuvers’ comprehensive guide. This book, published by Cambridge University Press in 2014, offers a clear and accessible introduction to the fundamental concepts and techniques of type theory, providing a solid foundation for further study in logic, computer science, and mathematics. Explore topics such as lambda calculus, natural deduction, and inductive definitions. Ideal for students and researchers seeking a rigorous yet engaging exploration of formal proof methods. Gain a deeper understanding of the theoretical underpinnings of programming languages and formal verification.
  • ISBN：9781107036505, 11070
  • 下载地址（点击下载）：
    隐藏内容
    本内容登录后免费查看
声明：本站所有电子书，均为来自网络。任何个人或组织，在未征得本站同意时，禁止复制、盗用、采集、发布本站内容到任何网站、书籍等各类媒体平台。如若本站内容侵犯了原著者的合法权益，可联系我们进行处理。