Lógica combinatoria.

Guardado en:
Detalles Bibliográficos
Autor principal: Curry, Haskell B.
Otros Autores: Feys, Robert, Craig, William
Formato: Libro
Lenguaje:Español
Publicado: Madrid : Tecnos, 1967.
Colección:Estructura y función : el porvenir actual de la ciencia 24
Materias:
Aporte de:Registro referencial: Solicitar el recurso aquí
LEADER 01098nam a22003255a 4500
001 10359
003 AR-SrUBC
005 20210617140707.0
007 t|||||||||||||
008 940811m||||||||sp #||||r|||||||||||spa||
040 |a AR-SrUBC  |b spa  |e rcaa2 
080 |a 164  |2 3a Abr ES 
100 1 |a Curry, Haskell B.  |9 21734 
245 1 0 |a Lógica combinatoria.   |c Haskell B. Curry, Robert Feys ; colaboración de William Craig. 
260 |a Madrid :   |b Tecnos,   |c 1967. 
300 |a 2 v. ;   |c 24 cm. 
336 |a texto  |2 rdacontent 
337 |a sin mediación  |2 rdamedia 
338 |a volumen  |2 rdacarrier 
490 0 |a Estructura y función : el porvenir actual de la ciencia  |v 24 
500 |a Apéndice: p. 462-466.  
500 |a La bilioteca posee el v.1.  
504 |a Bibliografía: p. 467-477.  
534 |t Combinatory logic / Manuel Sacristan 
650 7 |a LOGICA MATEMATICA  |2 lemb2  |9 21735 
650 7 |a LOGICA SIMBOLICA  |2 lemb2  |9 10609 
700 1 |a Feys, Robert  |9 21736 
700 1 |a Craig, William  |9 21737 
942 |2 cdu  |b 1994-08-11  |c BK  |d 010470  |h 164  |i CURl  |z CT  |6 164_CURL 
999 |c 10359  |d 10359