| 000 | 02462nam a22005415i 4500 | ||
|---|---|---|---|
| 001 | 978-94-007-1736-7 | ||
| 003 | DE-He213 | ||
| 005 | 20140220083835.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 |
|
| 050 | 4 | _aBD143-237 | |
| 072 | 7 |
_aHPK _2bicssc |
|
| 072 | 7 |
_aPHI004000 _2bisacsh |
|
| 082 | 0 | 4 |
_a120 _223 |
| 100 | 1 |
_aGranström, Johan Georg. _eauthor. |
|
| 245 | 1 | 0 |
_aTreatise on Intuitionistic Type Theory _h[electronic resource] / _cby Johan Georg Granström, Johan Georg Granström. |
| 264 | 1 |
_aDordrecht : _bSpringer Netherlands, _c2011. |
|
| 300 |
_aXIV, 198 p. _bonline resource. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 347 |
_atext file _bPDF _2rda |
||
| 490 | 1 |
_aLogic, Epistemology, and the Unity of Science ; _v22 |
|
| 520 | _aIntuitionistic type theory can be described, somewhat boldly, as a fulfillment of the dream of a universal language for science. In particular, intuitionistic type theory is a foundation for mathematics and a programming language. This book expounds several aspects of intuitionistic type theory, such as the notion of set, reference vs. computation, assumption, and substitution. Moreover, the book includes philosophically relevant sections on the principle of compositionality, lingua characteristica, epistemology, propositional logic, intuitionism, and the law of excluded middle. Ample historical references are given throughout the book. | ||
| 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. _eauthor. |
|
| 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 |
| 912 | _aZDB-2-SHU | ||
| 999 |
_c109558 _d109558 |
||