| 000 | 01178nom a2200337 u 4500 | ||
|---|---|---|---|
| 001 | 10071434 | ||
| 003 | upatras | ||
| 005 | 20210126160732.0 | ||
| 008 | 090513s2005 eng | ||
| 020 | _a9781402023354 | ||
| 040 |
_aGR-PaULI _cGR-PaULI |
||
| 041 | 0 | _aeng | |
| 100 | 1 |
_aKamareddine, Fairouz _968666 |
|
| 245 | 1 | 0 |
_aA Modern Perspective on Type Theory _h[electronic resource] _bFrom its Origins until Today _cby Fairouz Kamareddine, Twan Laan, Rob Nederpelt |
| 260 |
_aDordrecht _bSpringer Science + Business Media, Inc. _c2005 |
||
| 300 | _bv.: digital | ||
| 490 | 0 |
_aApplied Logic Series _v29 _x1386-2790 |
|
| 650 | 4 |
_aComputer science _913995 |
|
| 650 | 4 |
_aLogic _964716 |
|
| 650 | 4 |
_aLogic, Symbolic and mathematical _965151 |
|
| 650 | 4 |
_aMathematics _910598 |
|
| 650 | 4 |
_aMathematics of Computing _964702 |
|
| 650 | 4 |
_aLogic _964716 |
|
| 650 | 4 |
_aΛογική, Συμβολική και μαθηματική _9472 |
|
| 700 | 1 |
_aLaan, Twan _968667 |
|
| 700 | 1 |
_aNederpelt, Rob _968668 |
|
| 760 | 1 |
_aApplied logic series _g29 _x1386-2790 |
|
| 856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/1-4020-2335-9 |
| 942 | _2ddc | ||
| 999 |
_c47679 _d47679 |
||