000 -CABECERA |
Longitud fija campo de control |
00820nam a2200241 i 4500 |
001 - NÚMERO DE CONTROL |
Número de control |
ocm09900034520 |
003 - IDENTIFICADOR DEL NÚMERO DE CONTROL |
Identificador del número de control |
OSt |
008 - CÓDIGOS DE INFORMACIÓN DE LONGITUD FIJA |
Códigos de información de longitud fija |
940726c1992 uk a bcdl 00010 eng d |
020 ## - NÚMERO INTERNACIONAL NORMALIZADO PARA LIBROS |
Número Internacional Normalizado para Libros (ISBN) |
0-937073-90-3 |
040 ## - FUENTE DE LA CATALOGACIÓN |
Centro catalogador |
UCA-ESI |
Centro transcriptor |
UCA |
100 1# - PUNTO DE ACCESO PRINCIPAL-NOMBRE DE PERSONA |
Nombre de persona |
Barwise, Jon. |
245 14 - MENCIÓN DE TÍTULO |
Título |
The Language of first-order logic : |
Resto del título |
including the IBM-compatible windows version of Tarsk'is World 4.0 / |
Mención de responsabilidad, etc. |
Jon Barwise & John Etchemendy. |
250 ## - MENCIÓN DE EDICIÓN |
Mención de edición |
3rd ed., rev. and expanded. |
260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. (PIE DE IMPRENTA) |
Lugar de publicación, distribución, etc. |
Stanford : |
Nombre del editor, distribuidor, etc. |
Center for the Study of Language and Information, |
Fecha de publicación, distribución, etc. |
cop. 1992. |
300 ## - DESCRIPCIÓN FÍSICA |
Extensión |
XIV, 319 p. ; |
Dimensiones |
24 cm + |
Material anejo |
1 disquete. |
490 00 - MENCIÓN DE SERIE |
Mención de serie |
CSLI lecture notes ; |
Designación de volumen o secuencia |
34. |
650 04 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento inicial |
Lógica matemática |
700 1# - PUNTO DE ACCESO ADICIONAL - NOMBRE DE PERSONA |
Nombre de persona |
Etchemendy, John. |
909 ## - No. registro Millennium |
-- |
esi |
-- |
- |
942 ## - ENTRADA DE ELEMENTOS AGREGADOS (KOHA) |
Suprimir del OPAC |
No |
998 ## - CONTROL LOCAL DE INFORMACIÓN (RLIN) |
Iniciales de operador, IOP (RLIN) |
0 |
Iniciales de catalogador, INC (RLIN) |
151110 |
Primera fecha, PF (RLIN) |
m |
-- |
a |
-- |
- |
-- |
4 |
907 ## - CÓDIGO DE CATALOGADOR |
Catalogador/a |
mld-z |
Biblioteca, fecha |
crsp151110 |