| 000 | 00775nam a2200229 a 4500 | ||
|---|---|---|---|
| 001 | 7705 | ||
| 003 | 20130517 11:17:07 | ||
| 004 | MX-SIABUC | ||
| 008 | 050517s1964 sp x spa d | ||
| 040 | _aMX-SIABUC | ||
| 082 | 0 | _a164 C87 | |
| 090 | _aGENERALIDADES | ||
| 100 | 4 | 0 |
_aCurry, Haskell B. _924201 |
| 245 | 0 |
_aLógica combinatoria/ _cHaskell B. Curry, Robert Feys; trad.Manuel Sacristan |
|
| 260 | 4 |
_aEspaña : _bTECNOS, _c1964 |
|
| 300 | 4 | _a508 p | |
| 500 | 4 | _aincuye bibliografía e índice | |
| 505 | 4 | _a1. el teorema de Church - Rosser, -- 2.la teoría básica de la funcionalidad | |
| 650 |
_aLOGICA SIMBOLICA Y MATEMATICA _924202 |
||
| 700 | 4 | 0 |
_aFeys, Robert _924203 |
| 942 |
_2ddc _cLIBRO-GRAL |
||
| 999 |
_c7278 _d7278 |
||