Foundations of Constructive Mathematics
作者： Michael J. Beeson
DOI: 10.1007/978-3-642-68952-9
关键词: Bar induction 、 Mathematics education 、 Pure mathematics 、 Constructive analysis 、 Mathematics 、 Philosophy of mathematics education
摘要:
springer.com
sci-hub.st 参考文章(0)
作者： Michael J. Beeson
DOI: 10.1007/978-3-642-68952-9
关键词: Bar induction 、 Mathematics education 、 Pure mathematics 、 Constructive analysis 、 Mathematics 、 Philosophy of mathematics education
摘要: