Detalles MARC
| 000 -CABECERA |
|---|
| Campo de control de longitud fija |
02755nam a22005774a 4500 |
| 001 - NÚMERO DE CONTROL |
|---|
| Número de control |
CUUTN000001 |
| 003 - IDENTIFICADOR DEL NÚMERO DE CONTROL |
|---|
| Identificador del número de control |
AR-CuUTN |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN |
|---|
| Fecha y hora de la última transacción |
20240705192412.0 |
| 007 - PHYSICAL CAMPO FIJO DE DESCRIPCIÓN FÍSICA--INFORMACIÓN GENERAL FIXED FIELD--GENERAL INFORMATION |
|---|
| Campo fijo de descripción física |
ta |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL |
|---|
| Códigos de información de longitud fija |
240704s1981 sp ddddf 001 0 spa d |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO |
|---|
| ISBN |
8428311013 |
| 040 ## - FUENTE DE LA CATALOGACIÓN |
|---|
| Centro catalogador de origen |
AR-CuUTN |
| Lengua de catalogación |
spa |
| Centro transcriptor |
AR-CuUTN |
| Normas de descripción |
aacr2 |
| -- |
isbd |
| 041 1# - CÓDIGO DE LENGUA |
|---|
| Language code of original |
eng |
| Código de lengua del texto |
spa |
| 080 1# - NÚMERO DE LA CLASIFICACIÓN DECIMAL UNIVERSAL |
|---|
| Clasificación Decimal Universal |
510.6 |
| Edición de la CDU |
2000 |
| 100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA |
|---|
| Nombre personal |
Hamilton, A. G |
| Fechas asociadas al nombre |
1943- |
| Término indicativo de función |
autor |
| 9 (RLIN) |
4027 |
| 245 10 - MENCIÓN DE TÍTULO |
|---|
| Título |
Lógica para matemáticos / |
| Mención de responsabilidad |
A. G. Hamilton. |
| 260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. |
|---|
| Lugar de publicación, distribución, etc. |
Madrid, España : |
| Nombre del editor, distribuidor, etc. |
Paraninfo, |
| Fecha de publicación, distribución, etc. |
1981. |
| 300 ## - DESCRIPCIÓN FÍSICA |
|---|
| Extensión |
243 p. |
| Otras características físicas |
gráf. |
| Dimensiones |
22 cm. |
| 336 ## - TIPO DE CONTENIDO |
|---|
| Fuente |
rdacontent |
| Término de tipo de contenido |
texto |
| Código de tipo de contenido |
txt |
| 337 ## - TIPO DE MEDIO |
|---|
| Fuente |
rdamedia |
| Nombre del tipo de medio |
sin mediación |
| Código del tipo de medio |
n |
| 338 ## - TIPO DE SOPORTE |
|---|
| Fuente |
rdacarrier |
| Nombre del tipo de soporte |
volumen |
| Código del tipo de soporte |
nc |
| 490 0# - MENCIÓN DE SERIE |
|---|
| Mención de serie |
Lógica y teoría de la ciencia |
| 500 ## - NOTA GENERAL |
|---|
| Nota general |
Título original en inglés: Logic for mathematicians. |
|
|---|
| Nota general |
Traducido por Mario Rodríguez Artalejo. |
|
|---|
| Nota general |
Índice: p. 5 a 6. |
|
|---|
| Nota general |
Glosario de símbolos: p. 236 a 239. |
|
|---|
| Nota general |
Índice alfabético de materias: p. 240 a 243. |
|
|---|
| Nota general |
Indicaciones y soluciones de ejercicios seleccionados: p. 219. |
| 504 ## - NOTA DE BIBLIOGRAFÍA, ETC. |
|---|
| Nota de bibliografía, etc. |
Bibliografía: p. 235. |
| 505 0# - NOTA DE CONTENIDO CON FORMATO |
|---|
| Nota de contenido con formato |
1. Cálculo de enunciados informal. |
|
|---|
| Nota de contenido con formato |
2. Cálculo de enunciados formal. |
|
|---|
| Nota de contenido con formato |
3. Cálculo de predicados informal. |
|
|---|
| Nota de contenido con formato |
4. Cálculo de predicados formal. |
|
|---|
| Nota de contenido con formato |
5. Sistemas matemáticos. |
|
|---|
| Nota de contenido con formato |
6. El teorema de la incompletitud de Gödel. |
|
|---|
| Nota de contenido con formato |
7. Computabilidad, insolubilidad, indecidibilidad. |
|
|---|
| Nota de contenido con formato |
Apéndice: Conjuntos numerables y no numerables. |
| 520 3# - SUMARIO, ETC. |
|---|
| Sumario, etc. |
El material del libro se ha desarrollado partir del presentado en dos cursos separados de dieciséis clases, de tercero y cuarto año de licenciatura. El alcance de este libro es más limitado que el de otras introducciones standard de la materia. En particular, la teoría de modelos y la teoría axiomática de conjuntos sólo se toca de refilón. Por ello, se refiere al lector interesado, a la lista de títulos del final del libro para ulteriores lecturas.<br/>Hay ejercicios al final de cada sección. Su propósito es clarificar y consolidar la materia, no extenderla. |
| 521 ## - NOTA DE PÚBLICO DESTINATARIO |
|---|
| Nota de público destinatario |
Para quien disponga de una mínima base de matemática, desde el estudiante de primer curso hasta el matemático profesional. Se supone una cierta familiaridad con el álgebra y la teoría de números elementales. |
| 653 1# - TÉRMINO DE INDIZACIÓN--NO CONTROLADO |
|---|
| Término no controlado |
Lógica matemática |
|
|---|
| Término no controlado |
Sistema matemático |
|
|---|
| Término no controlado |
Gödel, teorema de incompletitud |
|
|---|
| Término no controlado |
Computabilidad |
|
|---|
| Término no controlado |
Insolubilidad |
|
|---|
| Término no controlado |
Indecidibilidad |
|
|---|
| Término no controlado |
Conjunto numerable |
|
|---|
| Término no controlado |
Conjunto no numerable |
|
|---|
| Término no controlado |
Cálculo de enunciados |
|
|---|
| Término no controlado |
Cálculo de predicados |
| 942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA) |
|---|
| Esquema de clasificación |
Clasificación Decimal Universal |
| Tipo de ítem Koha |
Libros |
