Information and Knowledge A Constructive Type-theoretical Approach /
Đã lưu trong:
| Tác giả chính: | |
|---|---|
| Tác giả của công ty: | |
| Định dạng: | Điện tử eBook |
| Ngôn ngữ: | Tiếng Anh |
| Được phát hành: |
Dordrecht :
Springer Netherlands,
2008.
|
| Loạt: | Logic, Epistemology, and the Unity of Science ;
10 |
| Những chủ đề: | |
| Truy cập trực tuyến: | http://dx.doi.org/10.1007/978-1-4020-6170-7 |
| Các nhãn: |
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
Những quyển sách tương tự: Information and Knowledge
- Epistemology versus Ontology Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Lf /
- Logic, Mathematics, Philosophy, Vintage Enthusiasms Essays in Honour of John L. Bell /
- Truth and Falsehood An Inquiry into Generalized Logical Values /
- Advances in Proof-Theoretic Semantics
- Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler /
- Constructive Negations and Paraconsistency