Universidad Nacional Autónoma de México
Facultad de Ciencias
Catálogo de la Biblioteca "Ricardo Monges López"

Selected papers in proof theory (Registro nro. 29889)

Detalles MARC
000 -CABECERA
campo de control de longitud fija 00793nam a2200241 a 4500
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL
campo de control de longitud fija 980422s1992^^^^it^a^^^^^b^^^^000^0^eng^^
020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO
Número Internacional Estándar del Libro 8870882284
035 ## - NÚMERO DE CONTROL DEL SISTEMA
Número de control de sistema MX001000785703
040 ## - FUENTE DE LA CATALOGACIÓN
Centro catalogador/agencia de origen DLC
Centro/agencia transcriptor DLC
Centro/agencia modificador DLC
041 ## - CÓDIGO DE LENGUA
Código de lengua del texto/banda sonora o título independiente ENG
050 00 - SIGNATURA TOPOGRÁFICA DE LA BIBLIOTECA DEL CONGRESO
Número de clasificación QA9.54
Número de documento/Ítem M55 1992
082 00 - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY
Número de clasificación 511.3
Número de edición 20
100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA
Nombre de persona Mints, G. E.,
Término indicativo de función/relación autor
245 10 - MENCIÓN DE TÍTULO
Título Selected papers in proof theory /
Mención de responsabilidad, etc. Grigorii E. Mints
264 #1 - PRODUCCIÓN, PUBLICACIÓN, DISTRIBUCIÓN, FABRICACIÓN Y COPYRIGHT
Producción, publicación, distribución, fabricación y copyright Napoli :
Nombre del de productor, editor, distribuidor, fabricante Bibliopolis ;
Producción, publicación, distribución, fabricación y copyright Amsterdam ;
-- New York :
Nombre del de productor, editor, distribuidor, fabricante North-holland,
Fecha de producción, publicación, distribución, fabricación o copyright c1992
300 ## - DESCRIPCIÓN FÍSICA
Extensión 294 páginas :
Otras características físicas ilustraciones ;
336 ## - TIPO DE CONTENIDO
Término de tipo de contenido texto
Fuente rdacontent
337 ## - TIPO DE MEDIO
Nombre/término del tipo de medio sin medio
Fuente rdamedia
338 ## - TIPO DE SOPORTE
Nombre/término del tipo de soporte volumen
Fuente rdacarrier
490 0# - MENCIÓN DE SERIE
Mención de serie Studies in proof theory.
-- Monographs ;
Designación de volumen o secuencia 3
504 ## - NOTA DE BIBLIOGRAFÍA, ETC.
Nota de bibliografía, etc. Incluye referencias bibliograficas.
650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Teoría de la demostración
Existencias
Estado de retiro Estado de pérdida Fuente del sistema de clasificación o colocación Estado dañado No para préstamo Código de colección Localización permanente Ubicación/localización actual Ubicación en estantería Fecha de adquisición Coste, precio normal de compra Total de préstamos Renovaciones totales Clasificación completa Código de barras Fecha visto por última vez Fecha del último préstamo Número de copia Tipo de ítem Koha
    Clasificación de la Biblioteca del Congreso     Coleccion General Libros Libros Libros 16/11/2023 1387.03 3 2 QA9.54 M55 1992 76706 18/02/2024 16/11/2023 1 Libros

Universidad Nacional Autónoma de México 

Biblioteca "Ricardo Monges López" de la Facultad de Ciencias

©2023 Dirección General de Bibliotecas y Servicios Digitales de Información, UNAM

Aviso de Privacidad