Treatise on Intuitionistic Type Theory
Saved in:
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Dordrecht :
Springer Netherlands,
2011.
|
| Series: | Logic, Epistemology, and the Unity of Science ;
22 |
| Subjects: | |
| Online Access: | http://dx.doi.org/10.1007/978-94-007-1736-7 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
MARC
| LEADER | 00000nam a22000005i 4500 | ||
|---|---|---|---|
| 001 | 0000055747 | ||
| 005 | 20171002052853.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 110601s2011 ne | s |||| 0|eng d | ||
| 020 | |a 9789400717367 |9 978-94-007-1736-7 | ||
| 024 | 7 | |a 10.1007/978-94-007-1736-7 |2 doi | |
| 035 | |a 0000005833 | ||
| 035 | |a (DE-He213)978-94-007-1736-7 | ||
| 050 | 4 | |a BD143-237 | |
| 072 | 7 | |a HPK |2 bicssc | |
| 072 | 7 | |a PHI004000 |2 bisacsh | |
| 082 | 0 | 4 | |a 120 |2 23 |
| 100 | 1 | |a Granstrm, Johan Georg. | |
| 245 | 1 | 0 | |a Treatise on Intuitionistic Type Theory |h [electronic resource] / |c by Johan Georg Granstrm, Johan Georg Granstrm. |
| 260 | |a Dordrecht : |b Springer Netherlands, |c 2011. | ||
| 300 | |b digital. | ||
| 490 | 0 | |a Logic, Epistemology, and the Unity of Science ; |v 22 | |
| 650 | 0 | |a Philosophy (General). | |
| 650 | 0 | |a Genetic epistemology. | |
| 650 | 0 | |a Logic. | |
| 650 | 0 | |a Logic design. | |
| 650 | 0 | |a Algorithms. | |
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 650 | 1 | 4 | |a Philosophy. |
| 650 | 2 | 4 | |a Epistemology. |
| 650 | 2 | 4 | |a Mathematical Logic and Foundations. |
| 650 | 2 | 4 | |a Logics and Meanings of Programs. |
| 650 | 2 | 4 | |a Logic. |
| 650 | 2 | 4 | |a History of Philosophy. |
| 650 | 2 | 4 | |a Algorithms. |
| 700 | 1 | |a Granstrm, Johan Georg. | |
| 710 | 2 | |a SpringerLink (Online service) | |
| 773 | 0 | |t Springer eBooks | |
| 776 | 0 | 8 | |i Printed edition: |z 9789400717350 |
| 830 | 0 | |a Logic, Epistemology, and the Unity of Science ; |v 22 | |
| 856 | 4 | 0 | |u http://dx.doi.org/10.1007/978-94-007-1736-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 48687 |d 48687 | ||