Information and Knowledge A Constructive Type-theoretical Approach /
محفوظ في:
| المؤلف الرئيسي: | |
|---|---|
| مؤلف مشترك: | |
| التنسيق: | الكتروني كتاب الكتروني |
| اللغة: | الإنجليزية |
| منشور في: |
Dordrecht :
Springer Netherlands,
2008.
|
| سلاسل: | Logic, Epistemology, and the Unity of Science ;
10 |
| الموضوعات: | |
| الوصول للمادة أونلاين: | http://dx.doi.org/10.1007/978-1-4020-6170-7 |
| الوسوم: |
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
مواد مشابهة: 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 /
- Dynamic Epistemic Logic