Information and Knowledge A Constructive Type-theoretical Approach /
Sparad:
| Huvudupphov: | |
|---|---|
| Institutionellt upphov: | |
| Materialtyp: | Elektronisk E-bok |
| Språk: | engelska |
| Utgiven: |
Dordrecht :
Springer Netherlands,
2008.
|
| Serie: | Logic, Epistemology, and the Unity of Science ;
10 |
| Ämnen: | |
| Länkar: | http://dx.doi.org/10.1007/978-1-4020-6170-7 |
| Taggar: |
Inga taggar, Lägg till första taggen!
|
Liknande verk: 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