Against intuitionism: Constructive mathematics is part of classical mathematics |
| |
Authors: | W. W. Tait |
| |
Affiliation: | 1. Department of Philosophy, University of Chicago, 1050 E 59th Street, 60637, Chicago, IL, U.S.A.
|
| |
Abstract: | |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|