Vista normal
Vista MARC
Introducción a la Lógica Matematica / (Registro nro. 13141)
[ vista simple ]
| 000 -Cabecera (24) | |
|---|---|
| Campo de control interno | 01818nam a22003497a 4500 |
| 005 - Fecha y hora de la | |
| Campo de control | 20190814120216.0 |
| 008 - Códigos de longitud fija (40p) | |
| Campo de control de longitud fija | 180316b mx||||| |||| 00| 0 esp d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9789686708011 |
| 040 ## - Origen de la Catalogacion | |
| Centro catalogador/agencia de origen | UTEA |
| 041 ## - Código de idioma (R) | |
| Código de lengua del texto/banda sonora o título independiente (R) | Es |
| 044 ## - COUNTRY OF PUBLISHING/PRODUCING ENTITY CODE | |
| MARC country code | MX |
| 082 ## - Número de la Clasificación | |
| Número de la Clasificación | QA9 / |
| Notación Interna | S94 |
| 100 ## - Autor Personal | |
| Autor Personal | Patrick Suppes |
| Término indicativo de función (R) | Autor |
| 245 ## - Titulo | |
| Titulo | Introducción a la Lógica Matematica / |
| 250 ## - Mencion de edicion | |
| Mencion de edicion | 1a edición |
| 260 ## - Editorial | |
| Ciudad | México |
| Nombre de la Editorial | Reverte Ediciones S.A. |
| Fecha | 2012 |
| 300 ## - Descripcion | |
| Páginas | 278 páginas. |
| Dimensiones | 16 X 22 cm. |
| Otros detalles físicos | Ejercicios, Teoremas. 1 Ejem. en Adahualas, 5 Ejem. en Cusco |
| 505 ## - Nota de contenido formateada | |
| Nota de contenido formateada Índice del Libro] | Prefacio. -- Simbolización proposiciones. -- Inferencia lógica. -- Certeza y validez. -- Tablas de certeza. -- Términos, predicados y cuantificadores universales. -- Especificación universal y leyes de identidad. -- Un sistema matemático simple axiomas de la adicción. -- Generalización universal. |
| 520 ## - Resumen | |
| Resumen | La obra presente de matemática moderna de la teoría de la demostración y de la metodología en la deducción de teoremas a partir de acción, el objetivo es proporcionar inferencias con cuantificadores universales y aplicaciones de la teoría de la inferencia al desarrollo de la teoría elemental de grupos conmutativos o la teoría de la adición que es como se desarrolla en el texto. |
| 650 #0 - Temas - Descriptores | |
| Temas - Descriptores | TERMINOS DE ENLACE |
| 9 (RLIN) | 4939 |
| 650 #0 - Temas - Descriptores | |
| Temas - Descriptores | SIMBOLIZACIÓN DE PROPOSICIONES |
| 9 (RLIN) | 4940 |
| 650 #0 - Temas - Descriptores | |
| Temas - Descriptores | AGRUPAMIENTO Y PARÉNTESIS |
| 9 (RLIN) | 4941 |
| 653 ## - Palabras Claves | |
| Palabras Claves | CONTABILIDAD |
| 653 ## - Palabras Claves | |
| Palabras Claves | REGLAS DE INFERENCIA Y DEMOSTRACIÓN |
| 653 ## - Palabras Claves | |
| Palabras Claves | DOBLE NEGACIÓN |
| 653 ## - Palabras Claves | |
| Palabras Claves | DEDUCCIÓN PROFESIONAL |
| 653 ## - Palabras Claves | |
| Palabras Claves | CUANTIFICADORES UNIVERSALES |
| 653 ## - Palabras Claves | |
| Palabras Claves | LÓGICA DE LA IDENTIDAD |
| 700 ## - Coautor Personal | |
| Coautor Personal | Shirley Hill |
| Término indicativo de función (R) | Coautor |
| 856 ## - URL - Ubicacion | |
| URI/URL | <a href="www.utcadereyta.edu.mx/descargas/Anexo%201.pdf">www.utcadereyta.edu.mx/descargas/Anexo%201.pdf</a> |
| 942 ## - Datos personalizados Koha | |
| Esquema de Clasificacion | |
| Tipo de Documento | Libros |
| Catalogador | |
No hay ítems disponibles.