| 000 | 00718nam a2200229Ia 4500 | ||
|---|---|---|---|
| 003 | OSt | ||
| 005 | 20260312145708.0 | ||
| 008 | 210716s2012 xx 000 0 und d | ||
| 020 | _a9788132204480 | ||
| 040 | _cAIMIT LIBRARY | ||
| 041 | _aeng | ||
| 082 |
_a511.3 _21 _bFERM |
||
| 100 |
_aFernandez, Maribel. _9258636 |
||
| 245 |
_aModels of computation : _bintroduction to computability theory / _cBy Maribel Fernandez. |
||
| 250 | _a1st ed. | ||
| 260 |
_aNew Delhi : _bSpringer , _c2012. |
||
| 300 |
_axi,184p. ; _bPB _c23.1 cm |
||
| 650 |
_aThe lambda calculus _9258637 |
||
| 650 |
_aRecursive functions _9258638 |
||
| 650 |
_aInteraction -based modes of computation _9258639 |
||
| 942 |
_2ddc _cBK _e1st _k511.3 FERM |
||
| 999 |
_c194371 _d194371 |
||