Introducción a la lógica matemática / (Record no. 3772)
[ view plain ]
| 000 -CABECERA | |
|---|---|
| campo de control de longitud fija | 01707cam a2200265 i 4500 |
| 003 - IDENTIFICADOR DE NÚMERO DE CONTROL | |
| campo de control | OSt |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL | |
| campo de control de longitud fija | 250318s1992 Mx a||||||||||||||||Esp d |
| 020 ## - ISBN | |
| Número Internacional Estándar del Libro | 9789686708011 |
| 040 ## - FUENTE DE CATALOGACIÓN | |
| Centro catalogador/agencia de origen | ITTLAHUAC |
| Lengua de catalogación | Español |
| Centro/agencia transcriptor | ITTLAHUAC |
| Centro/agencia modificador | ITTLAHUAC00943 |
| Normas de descripción | rda |
| 050 00 - SIGNATURA TOPOGRÁFICA DE LA BIBLIOTECA DEL CONGRESO | |
| Número de clasificación | QA9 |
| Cutter | .S9618 |
| Año | 1992 |
| 100 ## - ENTRADA PRINCIPAL--NOMBRE DE PERSONA | |
| Nombre de persona | Suppes, Patrick |
| 9 (RLIN) | 1392 |
| Término indicativo de función/relación | Autor |
| 245 00 - MENCIÓN DEL TÍTULO | |
| Título | Introducción a la lógica matemática / |
| Mención de responsabilidad, etc. | Patrick Suppes. |
| 250 ## - MENCION DE EDICION | |
| Mención de edición | 1a. Edición |
| 260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. | |
| Lugar de publicación | México |
| Nombre del editor | Reverte |
| Fecha de publicación | 1992 |
| 300 ## - DESCRIPCIÓN FÍSICA | |
| Extensión | 280 página |
| Otras características físicas | Ilustraciones |
| Dimensiones | 23 cm. |
| 505 ## - TABLA DE CONTENIDO | |
| Tabla de contenido | Lenguaje de la lógica proposicional<br/><br/>Tablas de verdad y tautologías<br/><br/>Inferencias y deducción formal<br/><br/>Reglas de inferencia<br/><br/>Lógica de predicados (cuantificadores)<br/><br/>Teoría de conjuntos elementales<br/><br/>Axiomatización y consistencia<br/><br/>Estructuras lógicas y modelos<br/><br/>Principios de demostración matemática<br/><br/>Introducción a la metateoría |
| 520 ## - RESUMEN | |
| Resumen | "Introducción a la lógica matemática" de Patrick Suppes es una obra fundamental para quienes desean comprender los principios básicos de la lógica formal moderna. Desde el análisis proposicional hasta la lógica de predicados y el razonamiento axiomático, el texto proporciona herramientas teóricas esenciales para el pensamiento lógico y matemático. Es ideal tanto como texto de curso como para el autoestudio de estudiantes universitarios en carreras de matemáticas, filosofía y ciencias de la computación.<br/><br/> |
| 526 ## - PROGRAMA DE ESTUDIO | |
| Nombre del programa | Ingeniería Electrónica |
| 526 ## - PROGRAMA DE ESTUDIO | |
| Nombre del programa | Ingeniería en Sistemas Automotrices |
| 526 ## - PROGRAMA DE ESTUDIO | |
| Nombre del programa | Ingenieria en Sistemas Computacionales |
| 526 ## - PROGRAMA DE ESTUDIO | |
| Nombre del programa | Ingeniería Ferroviaria |
| 526 ## - PROGRAMA DE ESTUDIO | |
| Nombre del programa | Ingeniería Mecatrónica |
| 942 ## - ELEMENTOS DE ENTRADA SECUNDARIOS (KOHA) | |
| Tipo de ítem Koha | Libro |
| Fuente del sistema de clasificación o colocación | Clasificación LC, Biblioteca del Congreso |
| 945 ## - CATALOGADORES | |
| Número del Creador del Registro | 1 |
| Nombre del Creador del Registro | admin |
| Número de último modificador del registro | 1250 |
| Nombre del último modificador del registro | Abel Nuñez Ayala |
| Estatus retirado | Estado de pérdida | Fuente del sistema de clasificación o colocación | Estado de daño | No para préstamo | Código de colección | Biblioteca de origen | Biblioteca actual | Ubicación en estantería | Fecha de adquisición | Forma de adquisición | Total de préstamos | Signatura topográfica completa | Código de barras | Visto por última vez | Copia número | Tipo de ítem Koha |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Clasificación LC, Biblioteca del Congreso | Colección General | CI Tlahuac | CI Tlahuac | GEN | 02/06/2020 | Donación | QA9 .S9618 1992 | ITTLAHUAC25070026 | 01/07/2025 | Ej. 1 | Libro | |||||
| Clasificación LC, Biblioteca del Congreso | Colección General | CI Tlahuac | CI Tlahuac | GEN | 02/06/2020 | Donación | QA9 .S9618 1992 | ITTLAHUAC25070027 | 01/07/2025 | Ej. 2 | Libro |
