|
LDR
| 01534nam a22004455i 4500 |
|---|
| 001 | 6538 |
|---|
| 003 | CONS |
|---|
| 005 | 20121026160700.0 |
|---|
| 007 | cr nn 008mamaa |
|---|
| 008 | 110601s2011 ne | s |||| 0|eng d |
|---|
| 020 | | . |
‡a9789400717367
‡9978-94-007-1736-7 |
|---|
| 024 | 7 | . |
‡a10.1007/978-94-007-1736-7
‡2doi |
|---|
| 035 | | . |
‡a(DE-He213)978-94-007-1736-7 |
|---|
| 050 | | 4. |
‡aBD143-237 |
|---|
| 072 | | 7. |
‡aHPK
‡2bicssc |
|---|
| 072 | | 7. |
‡aPHI004000
‡2bisacsh |
|---|
| 100 | 1 | . |
‡aGranström, Johan Georg. |
|---|
| 245 | 1 | 0. |
‡aTreatise on Intuitionistic Type Theory
‡h[electronic resource] /
‡cby Johan Georg Granström, Johan Georg Granström. |
|---|
| 260 | | . |
‡aDordrecht :
‡bSpringer Netherlands,
‡c2011. |
|---|
| 300 | | . |
‡aXIII, 196p.
‡bdigital. |
|---|
| 490 | 0 | . |
‡aLogic, Epistemology, and the Unity of Science ;
‡v22 |
|---|
| 650 | | 0. |
‡aPhilosophy (General). |
|---|
| 650 | | 0. |
‡aGenetic epistemology. |
|---|
| 650 | | 0. |
‡aLogic. |
|---|
| 650 | | 0. |
‡aLogic design. |
|---|
| 650 | | 0. |
‡aAlgorithms. |
|---|
| 650 | | 0. |
‡aLogic, Symbolic and mathematical. |
|---|
| 650 | 1 | 4. |
‡aPhilosophy. |
|---|
| 650 | 2 | 4. |
‡aEpistemology. |
|---|
| 650 | 2 | 4. |
‡aMathematical Logic and Foundations. |
|---|
| 650 | 2 | 4. |
‡aLogics and Meanings of Programs. |
|---|
| 650 | 2 | 4. |
‡aLogic. |
|---|
| 650 | 2 | 4. |
‡aHistory of Philosophy. |
|---|
| 650 | 2 | 4. |
‡aAlgorithms. |
|---|
| 700 | 1 | . |
‡aGranström, Johan Georg. |
|---|
| 710 | 2 | . |
‡aSpringerLink (Online service) |
|---|
| 773 | 0 | . |
‡tSpringer eBooks |
|---|
| 776 | 0 | 8. |
‡iPrinted edition:
‡z9789400717350 |
|---|
| 830 | | 0. |
‡aLogic, Epistemology, and the Unity of Science ;
‡v22 |
|---|
| 856 | 4 | 0. |
‡uhttp://dx.doi.org/10.1007/978-94-007-1736-7
‡9CONS |
|---|
| 950 | | . |
‡aHumanities, Social Sciences and Law (Springer-11648) |
|---|
| 901 | | . |
‡a6538
‡b
‡c6538
‡tbiblio
‡sSystem Local |
|---|
E-book
