Foundational theories of classical and constructive mathematics
The book Foundational Theories of Classical and Constructive Mathematics is a book on the classical topic of foundations of mathematics. Its originality resides mainly in its treating at the same time foundations of classical and foundations of constructive mathematics. This confrontation of two kin...
| Tác giả của công ty: | |
|---|---|
| Tác giả khác: | |
| Định dạng: | Electronic Resource |
| Ngôn ngữ: | English |
| Được phát hành: |
Dordrecht
Springer Netherlands
2011.
|
| Loạt: | Western ontario series in philosophy of science
76 |
| Những chủ đề: | |
| Truy cập trực tuyến: | Available for University of the Philippines Diliman via SpringerLink. Click here to access |