古典論理と構成数学の基礎
Foundational Theories of Classical and Constructive Mathematics
The Western Ontario Series in Philosophy of Science
Sommaruga, G. (EDT)
- 出版社:Springer
- 出版年月:2011年 03月
- ISBN:9789400704305
- 装丁:HRD
-
装丁について
- 言語:ENG
- 巻数・ページ数:300 p.
- 分類: 集合論・論理学
- DDC分類:500