| 000 | 00574pam a2200169a 44500 | ||
|---|---|---|---|
| 008 | 160408b2011 xxu||||| |||| 00| 0 eng d | ||
| 020 | _a9789400717350 | ||
| 040 | _aIIT, Kanpur | ||
| 082 |
_a121.3 _bG767t |
||
| 100 | _aGranstrom, Johan Georg | ||
| 245 | 0 |
_aTreatise on intuitionistic type theory _cJohan Georg Granstrom |
|
| 260 |
_aDordrecht _bSpringer _c2011 |
||
| 300 | _axiii, 196p | ||
| 440 |
_aLogic, Epistemology, And The Unity Of Science / Edited By Shahid Rahman _vV.22 |
||
| 650 | _aIntuition -- Philosophy | ||
| 997 | _aA172851 C | ||
| 999 |
_c369930 _d369930 |
||