000 00813nam a2200241Ia 4500
001 184469
003 BIBL
005 20160527190728.0
008 940831s1967 sp b 00010 spa
010 _afel21000301 //r842
049 _aBUCG
050 0 _aQA9.5
_b.C8718 1967
082 0 _a511/.3
092 _a511.3
_bC976c E
100 1 0 _aCurry, Haskell B.
_q(Haskell Brooks)
_2Local
_983370
245 1 0 _aLógica combinatoria
_cHaskell B. Curry y Robert Feys; colaboración de William Craig; traducción : Manuel Sacristan.
260 0 _aMadrid
_bEditorial Tecnos
_c1967.
300 _a508 p.
500 _aTranslation of : Combinatory logic.
650 0 _aLogic, Symbolic and mathematical
_2Local
_9127231
650 0 _aCombinatory logic.
_2Local
_978452
700 1 0 _aFeys, Robert
_d1889-
_2Local
_996180
999 _c141189
_d141189