Information and Knowledge A Constructive Type-theoretical Approach /
Uloženo v:
| Hlavní autor: | |
|---|---|
| Korporativní autor: | |
| Médium: | Elektronický zdroj E-kniha |
| Jazyk: | angličtina |
| Vydáno: |
Dordrecht :
Springer Netherlands,
2008.
|
| Edice: | Logic, Epistemology, and the Unity of Science ;
10 |
| Témata: | |
| On-line přístup: | http://dx.doi.org/10.1007/978-1-4020-6170-7 |
| Tagy: |
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
MARC
| LEADER | 00000nam a22000005i 4500 | ||
|---|---|---|---|
| 001 | 0000051373 | ||
| 005 | 20171002052649.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 100301s2008 ne | s |||| 0|eng d | ||
| 020 | |a 9781402061707 |9 978-1-4020-6170-7 | ||
| 024 | 7 | |a 10.1007/978-1-4020-6170-7 |2 doi | |
| 035 | |a 0000001460 | ||
| 035 | |a (DE-He213)978-1-4020-6170-7 | ||
| 050 | 4 | |a BC1-199 | |
| 072 | 7 | |a HPL |2 bicssc | |
| 072 | 7 | |a PHI011000 |2 bisacsh | |
| 082 | 0 | 4 | |a 160 |2 23 |
| 100 | 1 | |a Primiero, Giuseppe. | |
| 245 | 1 | 0 | |a Information and Knowledge |h [electronic resource] : |b A Constructive Type-theoretical Approach / |c by Giuseppe Primiero. |
| 260 | |a Dordrecht : |b Springer Netherlands, |c 2008. | ||
| 300 | |b digital. | ||
| 490 | 0 | |a Logic, Epistemology, and the Unity of Science ; |v 10 | |
| 650 | 0 | |a Philosophy (General). | |
| 650 | 0 | |a Genetic epistemology. | |
| 650 | 0 | |a Logic. | |
| 650 | 0 | |a Computer science. | |
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 650 | 1 | 4 | |a Philosophy. |
| 650 | 2 | 4 | |a Logic. |
| 650 | 2 | 4 | |a Philosophy. |
| 650 | 2 | 4 | |a Epistemology. |
| 650 | 2 | 4 | |a Mathematical Logic and Formal Languages. |
| 650 | 2 | 4 | |a Mathematical Logic and Foundations. |
| 710 | 2 | |a SpringerLink (Online service) | |
| 773 | 0 | |t Springer eBooks | |
| 776 | 0 | 8 | |i Printed edition: |z 9781402061691 |
| 830 | 0 | |a Logic, Epistemology, and the Unity of Science ; |v 10 | |
| 856 | 4 | 0 | |u http://dx.doi.org/10.1007/978-1-4020-6170-7 |
| 908 | |a 121203 | ||
| 912 | |a ZDB-2-SHU | ||
| 942 | 0 | 0 | |c EB |
| 950 | |a Humanities, Social Sciences and Law (Springer-11648) | ||
| 999 | |c 44751 |d 44751 | ||