什么是显式数学？通过达纳·斯科特 电子书下载

原名:What is Explicit Mathematics? by Dana Scott
作品简介:访问学者。加州大学伯克利分校数学）。为此，我们在建设性框架内进行了大量的抽象分析。 • 这一发展是在让-伊夫·吉拉德（Jean-Yves Girard）以绝对最低限度的哲学引导进行的。 （还有那里……