| 000 -CABECERA |
|---|
| fixed length control field |
00973nam a2200217Ia 4500 |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL |
|---|
| fixed length control field |
230610s1967||||sp ||||gr|||||001 0|spa|d |
| 040 ## - FUENTE DE LA CATALOGACIÓN |
|---|
| Agencia/entidad que catalogó originalmente la obra |
UNSCH |
| Idioma en que se cataloga |
spa |
| Entidad que transcribió la catalogación |
Biblioteca Central |
| 041 1# - CÓDIGO DE LENGUA |
|---|
| Código de Idioma para texto o pista de sonido o título separado |
spa |
| 082 04 - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY |
|---|
| Código de Clasificación |
511.3/ |
| Notacion interna |
C95 |
| 100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA |
|---|
| Nombre Personal |
Curry, Haskell B. |
| 245 10 - MENCIÓN DE TÍTULO |
|---|
| Título |
Lógica combinatoria / |
| Mención de responsabilidad |
Haskell B. Curry y Robert Feys ; tr. de Manuel Sacristán |
| 260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. |
|---|
| Lugar de publicación, distribución, etc. |
Madrid : |
| Nombre de la editorial, distribuidor, etc. |
Edit. Tecnos, |
| Fecha de publicación, distribución, etc. |
1967 |
| 300 ## - DESCRIPCIÓN FÍSICA |
|---|
| Nº de Páginas Extensión |
508 p. ; |
| Dimensiones |
23 cm. |
| 490 0# - MENCIÓN DE COLECCIÓN |
|---|
| Colección |
(Estructura y Función) |
| 504 ## - NOTA DE BIBLIOGRAFÍA, ETC. |
|---|
| Bibliografía /anexos |
Bibliografía: p. 467-480 |
| 505 0# - NOTA DE CONTENIDO |
|---|
| Contenido |
Sistemas formales - Epiteoría - Conversión Lamda - El teorema de chuch - rosser - Teoría intuitiva de combinadores - Teoría sintética de combinadores - Fundamentos lógicos - Introducción a la lógica combinatoria ilativa - La teoría básica de la funcionalidad - Las teorías fuertes de la funcionalidad |
| 650 14 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Descriptor |
Logica simbolica | Logica matematica |
| 700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA |
|---|
| Apellidos y Nombres |
Feys, Robert |
| 942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA) |
|---|
| Fuente de clasificación |
|
| Tipo de item |
Libros |
| 945 ## - PROCESAMIENTO DE INFORMACIÓN LOCAL (OCLC) |
|---|
| Catalogador |
|
| AAAA-MM-DD - Fecha de ingreso o modificacion |
19950901 |
