Biblioteca IFD Melo "Dr. Emilio Oribe"
A partir de esta página puede:
Volver a la pantalla de inicio con las categorÃas... |
Información de la indexación
160 HILe
Documentos en la biblioteca con la clasificación 160 HILe
Hacer una sugerencia Refinar búsquedaElementos de lógica teórica / D. Hilbert
TÃtulo : Elementos de lógica teórica Tipo de documento: texto impreso Autores: D. Hilbert, Autor ; W. Ackermann, Autor Mención de edición: 2da. Ed Editorial: Madrid [España] : Tecnos Fecha de publicación: 1975 Número de páginas: 213 p ISBN/ISSN/DL: 978-84-309-0581-2 Palabras clave: CONEXIONES.LOGICAS CONEXIONES.PROPOSICIONALES VARIABLES FORMAS.PROPOSICIONALES EQUIVALENCIAS DUALIDAD AXIOMATICA IMPLICACION.ESTRICTA CLASES SILOGISMO.ARISTOTELICO EXPRESIONES SISTEMA.AXIOMATICO SUSTITUCION SKOLEM TEORIAS.CIENTIFICAS DECIBILIDAD FUNCIONES PREDICADO NUMERO TEORIA.DE.CONJUNTOS PARADOJAS.LOGICAS CALCULO.DE.NIVELES Clasificación: 160 HILe Resumen: Surge de los estudios dedicados al cálculo lógico, disciplina que pretendia el autor usar para una estructuración de las matemáticas, que pusiera en práctica su compatibilidad. Nota de contenido: Índice: El cálculo proposicional. El cálculo de clases. El cálculo restringido de predicados. El cálculo generalizado de predicados. Elementos de lógica teórica [texto impreso] / D. Hilbert, Autor ; W. Ackermann, Autor . - 2da. Ed . - Madrid (España) : Tecnos, 1975 . - 213 p.
ISBN : 978-84-309-0581-2
Palabras clave: CONEXIONES.LOGICAS CONEXIONES.PROPOSICIONALES VARIABLES FORMAS.PROPOSICIONALES EQUIVALENCIAS DUALIDAD AXIOMATICA IMPLICACION.ESTRICTA CLASES SILOGISMO.ARISTOTELICO EXPRESIONES SISTEMA.AXIOMATICO SUSTITUCION SKOLEM TEORIAS.CIENTIFICAS DECIBILIDAD FUNCIONES PREDICADO NUMERO TEORIA.DE.CONJUNTOS PARADOJAS.LOGICAS CALCULO.DE.NIVELES Clasificación: 160 HILe Resumen: Surge de los estudios dedicados al cálculo lógico, disciplina que pretendia el autor usar para una estructuración de las matemáticas, que pusiera en práctica su compatibilidad. Nota de contenido: Índice: El cálculo proposicional. El cálculo de clases. El cálculo restringido de predicados. El cálculo generalizado de predicados. Reserva
Reservar este documento
Ejemplares
Código de barras Clasificación Tipo de medio Ubicación Sección Estado A00757 160 HILe Libro de estudio en soporte papel Biblioteca IFD Melo Colección General Disponible