如果您喜欢我的帖，就请加“+关注”哦马上抢沙发
希望您喜欢我的免费发布支持我 加我 关注我
https://bbs.pinggu.org/z_guanzhu.php?action=add&fuid=3727866


【1988】Constructivism in mathematics: An introduction

Book 图书名称：Constructivism in mathematics: An introduction
Author 作者： A. S. Troelstra and D. van Dalen
Publisher 出版社： Elsevier Science
Page 页数：606
Publishing Date 出版时间： Jul 15, 1988
Language 语言： English
Size 大小： 7 MB
Format 格式： pdf 文字版
ISBN: ISBN-13: 978-0444702661 ， ISBN-10: 0444702660
Edition: 第1版 搜索过论坛，没有该文档

These two volumes cover the principal approaches to constructivism in mathematics. They present a thorough, up-to-date introduction to the metamathematics of constructive mathematics, paying special attention to Intuitionism, Markov's constructivism and Martin-Lof's type theory with its operational semantics. A detailed exposition of the basic features of constructive mathematics, with illustrations from analysis, algebra and topology, is provided, with due attention to the metamathematical aspects. Volume 1 is a self-contained introduction to the practice and foundations of constructivism, and does not require specialized knowledge beyond basic mathematical logic. Volume 2 contains mainly advanced topics of a proof-theoretical and semantical nature.

== Table of contents ==
n/a


== 回帖见免费下载 ==
[hide]
[/hide]
声明： 本资源仅供学术研究参考之用，发布者不负任何法律责任，敬请下载者支持购买正版。

【KYCHAN】十月资源汇总帖203文档资源（回复参与奖励丰厚）
【KYCHAN】10月15日资源汇总帖 94 文档资源（回复参与奖励丰厚)
【KYCHAN】九月资源汇总帖 159文档资源（回复参与奖励丰厚)
【KYCHAN】九月15日资源汇总帖 70 文档资源（回复参与奖励丰厚)
【KYCHAN】八月资源汇总帖 157 文档资源（回复参与奖励丰厚）
请您加入我的【KYCHAN文库】 感恩
https://bbs.pinggu.org/forum.php?mod=collection&action=view&ctid=2819欢迎您的订阅！