History and Philosophy of Logic. 1994;15(2):149-172. doi: 10.1080/01445349408837229 N/A0.52025

Heyting’s contribution to the change in research into the foundations of mathematics

DOI: 10.1080/01445349408837229

摘要 查看摘要

Copyright © History and Philosophy of Logic. 中文内容为AI机器翻译，仅供参考！