| 000 | 02432nam a22005295i 4500 | ||
|---|---|---|---|
| 001 | u378585 | ||
| 003 | SIRSI | ||
| 005 | 20160812084600.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 110601s2011 ne | s |||| 0|eng d | ||
| 020 |
_a9789400717367 _9978-94-007-1736-7 |
||
| 040 | _cMX-MeUAM | ||
| 050 | 4 | _aBD143-237 | |
| 082 | 0 | 4 |
_a120 _223 |
| 100 | 1 |
_aGranström, Johan Georg. _eauthor. |
|
| 245 | 1 | 0 |
_aTreatise on Intuitionistic Type Theory _h[recurso electrónico] / _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 |
_zLibro electrónico _uhttp://148.231.10.114:2048/login?url=http://link.springer.com/book/10.1007/978-94-007-1736-7 |
| 596 | _a19 | ||
| 942 | _cLIBRO_ELEC | ||
| 999 |
_c206465 _d206465 |
||