Un sistema lógico de segundo orden conceptualista con operadores lambda ramificados (Registro nro. 208087)
[ vista simple ]
| 000 -CABECERA | |
|---|---|
| campo de control de longitud fija | 00378naa a2200133a 44500 |
| 001 - NÚMERO DE CONTROL | |
| campo de control | STRO-001032 |
| 003 - IDENTIFICADOR DEL NÚMERO DE CONTROL | |
| campo de control | AR-CdUCS |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN | |
| campo de control | 20180506200741.0 |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL | |
| campo de control de longitud fija | 180428s########xx#|||||||||||||||||###|d |
| 100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA | |
| Nombre de persona | Freund, M.A. |
| 245 13 - MENCIÓN DE TÍTULO | |
| Título | Un sistema lógico de segundo orden conceptualista con operadores lambda ramificados |
| 773 0# - ENLACE AL DOCUMENTO FUENTE/ENTRADA DE REGISTRO ANFITRIÓN | |
| Título | CrM. |
| Parte(s) relacionada(s) | 72 (1992) 47-71 |
| Nota | F 2.2 |
| 942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA) | |
| Tipo de ítem Koha | Artículos |
No hay ítems disponibles.