Cargando…

Lógica combinatoria

Detalles Bibliográficos
Autor principal: Curry, Haskell Brooks 1990-
Otros Autores: Feys, Robert 1889- coaut
Formato: Libro
Lenguaje:Spanish
Publicado: Madrid : Tecnos, 1967.
Colección:Colec. Estructura y Función. El Porvenir Actual de la Ciencia ; 24
Materias:

MARC

LEADER 00000nam a22000002a 4500
006 a 000 0
008 991123s1967 sp 000 0 spa d
035 |a (Sirsi) a85708 
035 |a (Sirsi) a85708 
050 4 |a BC71  |b C87 
082 4 |a 164  |b C976L 
100 1 |a Curry, Haskell Brooks  |d 1990- 
245 1 0 |a Lógica combinatoria  |c / Haskell B. Curry, Robert Feys ; colab. William Criang ; tr. Manuel Sacristán. 
260 |a Madrid  |b : Tecnos,  |c 1967. 
300 |a 508 p.  |c ; 24 cm. 
490 0 0 |a Colec. Estructura y Función.  |v ; 24  |a El Porvenir Actual de la Ciencia 
500 |a Apéndices: p. [462]-466. 
500 |a Bibliogarfía: p. [467]-477. 
500 |a Traducción de: Combinatory logic. 
650 4 |a Lógica simbólica y matemática.  |9 359229 
700 |a Feys, Robert  |d 1889- coaut 
596 |a 2 4 
942 |c LIBRO  |6 _ 
999 |c 46107  |d 46107