Compendio de lógica matemática / Joseph M Bochenski (1982)

Público ISBD Título : Compendio de lógica matemática Tipo de documento: texto impreso Autores: Joseph M Bochenski (1902-1995), Autor ; Rodolfo Fernández González, Traductor Mención de edición: 2a. ed Editorial: Madrid : Paraninfo Fecha de publicación: 1982 Colección: Lógica y Teoría de la Ciencia Número de páginas: 120 p ISBN/ISSN/DL: 978-84-283-0748-2 Idioma : Español (spa) Clasificación: [Palabras claves]LÓGICA MATEMÁTICA Nota de contenido: Principios generales.-- La lógica de enunciados.--La lógica de predicados y de clases.-- La lógica de relaciones.--Temas complementarios Compendio de lógica matemática [texto impreso] / Joseph M Bochenski (1902-1995), Autor ; Rodolfo Fernández González, Traductor  . -  2a. ed . - Paraninfo, 1982 . - 120 p. - (Lógica y Teoría de la Ciencia) . ISBN : 978-84-283-0748-2 Idioma : Español (spa) Clasificación: [Palabras claves]LÓGICA MATEMÁTICA Nota de contenido: Principios generales.-- La lógica de enunciados.--La lógica de predicados y de clases.-- La lógica de relaciones.--Temas complementarios

Reserva

Reservar este documento

Ejemplares

Nro. de Inventario	Ubicación Física	Préstamo	Localización	Sección	Estado	Origen
55596	511.3 BOCc	7 días	Colección general	Libros	Domicilio Disponible	Compra
55597	511.3 BOCc c. 2	7 días	Colección general	Libros	Domicilio Disponible	Compra

El desarrollo de la lógica matemática / P. H. Nidditch (1983)

Público ISBD Título : El desarrollo de la lógica matemática Tipo de documento: texto impreso Autores: P. H. Nidditch, Autor Editorial: Madrid [España] : Cátedra Fecha de publicación: 1983 Número de páginas: 99 p ISBN/ISSN/DL: 978-84-376-0157-1 Idioma : Español (spa) Clasificación: [Palabras claves]HISTORIA DE LA MATEMÁTICA [Palabras claves]LÓGICA MATEMÁTICA Nota de contenido: La silogística de Aristóteles.-- La idea de un lenguaje completo y automático para el razonamiento.-- Cambios en álgebra y geometría, 1825-1900.-- Consistencia y matemática.-- El állegbra lógica de Boole.-- El álgebra de la lógica después de Boole: Jevons, Pierce y Schroeder.-- La lógica de Frege.-- La teoría de conjuntos de Cantor.-- La lógica de peano.-- Los "Principia Mathematica" de Whitehead y Russell.-- La lógica matemática después de los "Principia Mathematica" : la matemática de Hilbert.-- Lecturas recomendadas El desarrollo de la lógica matemática [texto impreso] / P. H. Nidditch, Autor . - Madrid (España) : Cátedra, 1983 . - 99 p. ISBN : 978-84-376-0157-1 Idioma : Español (spa) Clasificación: [Palabras claves]HISTORIA DE LA MATEMÁTICA [Palabras claves]LÓGICA MATEMÁTICA Nota de contenido: La silogística de Aristóteles.-- La idea de un lenguaje completo y automático para el razonamiento.-- Cambios en álgebra y geometría, 1825-1900.-- Consistencia y matemática.-- El állegbra lógica de Boole.-- El álgebra de la lógica después de Boole: Jevons, Pierce y Schroeder.-- La lógica de Frege.-- La teoría de conjuntos de Cantor.-- La lógica de peano.-- Los "Principia Mathematica" de Whitehead y Russell.-- La lógica matemática después de los "Principia Mathematica" : la matemática de Hilbert.-- Lecturas recomendadas

Reserva

Reservar este documento

Ejemplares

Nro. de Inventario	Ubicación Física	Préstamo	Localización	Sección	Estado	Origen
29794	511.3 NIDd	7 días	Colección general	Libros	Domicilio Disponible	Donación

Ejercicios de lógica / Alberto Moreno (1973)

Público ISBD Título : Ejercicios de lógica Tipo de documento: texto impreso Autores: Alberto Moreno (1922-1999), Autor Mención de edición: 2a. ed Editorial: Buenos Aires [Argentina] : Editorial Universitaria de Buenos Aires (EUDEBA) Fecha de publicación: 1973 Colección: Manuales Número de páginas: 115 p Idioma : Español (spa) Clasificación: [Palabras claves]LÓGICA MATEMÁTICA [Palabras claves]LÓGICA-PROBLEMAS, EJERCICIOS, ETC. [Palabras claves]MATEMÁTICA-PROBLEMAS, EJERCICIOS Nota de contenido: Lógica tradicional: Lógica de enunciados.-- Análisis de los enunciados.-- Silogismos.-- Lógica matemática: Clases.-- Lógica de enunciados. Tablas de verdad.-- Validez e invalidez.-- Axiomatización.-- Cuantificación.-- Validez con enunciados cuantificados.-- Relaciones Ejercicios de lógica [texto impreso] / Alberto Moreno (1922-1999), Autor  . -  2a. ed . - Editorial Universitaria de Buenos Aires (EUDEBA), 1973 . - 115 p. - (Manuales) . Idioma : Español (spa) Clasificación: [Palabras claves]LÓGICA MATEMÁTICA [Palabras claves]LÓGICA-PROBLEMAS, EJERCICIOS, ETC. [Palabras claves]MATEMÁTICA-PROBLEMAS, EJERCICIOS Nota de contenido: Lógica tradicional: Lógica de enunciados.-- Análisis de los enunciados.-- Silogismos.-- Lógica matemática: Clases.-- Lógica de enunciados. Tablas de verdad.-- Validez e invalidez.-- Axiomatización.-- Cuantificación.-- Validez con enunciados cuantificados.-- Relaciones

Reserva

Reservar este documento

Ejemplares

Nro. de Inventario	Ubicación Física	Préstamo	Localización	Sección	Estado	Origen
70760	511.3 MORe	7 días	Colección general	Libros	Domicilio Disponible	Donación Jorge H. Cánepa De Boni

Elementos de lógica matemática / Hermes A. Puyau (1976)

Público ISBD Título : Elementos de lógica matemática Tipo de documento: texto impreso Autores: Hermes A. Puyau, Autor ; Jorge A. Roetti, Autor Editorial: Buenos Aires [Argentina] : Editorial Universitaria de Buenos Aires (EUDEBA) Fecha de publicación: 1976 Colección: Manuales de Eudeba Número de páginas: 149 p Idioma : Español (spa) Clasificación: [Palabras claves]LÓGICA MATEMÁTICA [Palabras claves]LÓGICA SIMBÓLICA [Palabras claves]MATEMÁTICA [Palabras claves]TEORÍA DE CONJUNTOS Resumen: Este libro presenta una exposición de la lógica elemental y de la teoría axiomática de clases y conjuntos, más la construcción de los sistemas numéricos. La obra se completa con el teorema de completitud de Gödel y el de Löwenheim - Skolem, además del esbozo de algunas aproximaciones no conjuntistas al problema de los fundamentos de la matemática. Elementos de lógica matemática satisface las necesidades formales de un primer curso de lógica universitaria. A lo largo de cada capítulo se ha separado, con la mayor claridad posible, el tratamiento sintáctico del semántico en los sistemas lógicos; en la aproximación semántica se exponen, independientemente, los métodos axiomático y de deducción natural, y en toda la obra se realizaron las demostraciones, case siempre en forma exhaustiva, a fin de evitar dificultades al lector. Elementos de lógica matemática [texto impreso] / Hermes A. Puyau, Autor ; Jorge A. Roetti, Autor . - Editorial Universitaria de Buenos Aires (EUDEBA), 1976 . - 149 p. - (Manuales de Eudeba) . Idioma : Español (spa) Clasificación: [Palabras claves]LÓGICA MATEMÁTICA [Palabras claves]LÓGICA SIMBÓLICA [Palabras claves]MATEMÁTICA [Palabras claves]TEORÍA DE CONJUNTOS Resumen: Este libro presenta una exposición de la lógica elemental y de la teoría axiomática de clases y conjuntos, más la construcción de los sistemas numéricos. La obra se completa con el teorema de completitud de Gödel y el de Löwenheim - Skolem, además del esbozo de algunas aproximaciones no conjuntistas al problema de los fundamentos de la matemática. Elementos de lógica matemática satisface las necesidades formales de un primer curso de lógica universitaria. A lo largo de cada capítulo se ha separado, con la mayor claridad posible, el tratamiento sintáctico del semántico en los sistemas lógicos; en la aproximación semántica se exponen, independientemente, los métodos axiomático y de deducción natural, y en toda la obra se realizaron las demostraciones, case siempre en forma exhaustiva, a fin de evitar dificultades al lector.

Reserva

Reservar este documento

Ejemplares

Nro. de Inventario	Ubicación Física	Préstamo	Localización	Sección	Estado	Origen
70661	511.3 PUYe	7 días	Colección general	Libros	Domicilio Disponible	Donación Jorge H. Cánepa De Boni

Elementos de la lógica simbólica / Telma Barreiro de Nudler (1973)

Público ISBD Título : Elementos de la lógica simbólica Tipo de documento: texto impreso Autores: Telma Barreiro de Nudler, Autor ; Oscar Nudler, Autor Editorial: Buenos Aires : Kapelusz Fecha de publicación: 1973 Número de páginas: 133 p. ISBN/ISSN/DL: 978-950-13-2742-7 Idioma : Español (spa) Clasificación: [Palabras claves]LÓGICA MATEMÁTICA [Palabras claves]LÓGICA SIMBÓLICA Nota de contenido: 1. Validez de los razonamientos; 2. Lógica proposicional; 3. Lógica de funciones; 4. Lógica de clases; 5. Lógica de relaciones. Elementos de la lógica simbólica [texto impreso] / Telma Barreiro de Nudler, Autor ; Oscar Nudler, Autor . - Buenos Aires : Kapelusz, 1973 . - 133 p. ISBN : 978-950-13-2742-7 Idioma : Español (spa) Clasificación: [Palabras claves]LÓGICA MATEMÁTICA [Palabras claves]LÓGICA SIMBÓLICA Nota de contenido: 1. Validez de los razonamientos; 2. Lógica proposicional; 3. Lógica de funciones; 4. Lógica de clases; 5. Lógica de relaciones.

Reserva

Reservar este documento

Ejemplares

Nro. de Inventario	Ubicación Física	Préstamo	Localización	Sección	Estado	Origen
2043	160 BARe	1 día	Colección general	Libros	Domicilio Disponible
4848	160 BARe c. 2	7 días	Colección general	Libros	Domicilio Disponible
39656	160 BARe c. 3	7 días	Colección general	Libros	Domicilio Disponible
18741	160 BARe c. 4	7 días	Colección general	Libros	Domicilio Disponible
2045	160 BARe c. 5	7 días	Colección general	Libros	Domicilio Disponible
18745	160 BARe c. 6	7 días	Colección general	Libros	Domicilio Disponible

Elementos de lógica teórica / D. Hilbert (1962)

Público ISBD Título : Elementos de lógica teórica Tipo de documento: texto impreso Autores: D. Hilbert, Autor ; W. Ackermann, Autor Editorial: Madrid : Tecnos Fecha de publicación: 1962 Colección: Estructura y Función num. 6 Número de páginas: 213 p Idioma : Español (spa) Clasificación: [Palabras claves]CÁLCULO [Palabras claves]LÓGICA MATEMÁTICA Nota de contenido: El cálculo de proposiciones -- 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 . - Tecnos, 1962 . - 213 p. - (Estructura y Función; 6) . Idioma : Español (spa) Clasificación: [Palabras claves]CÁLCULO [Palabras claves]LÓGICA MATEMÁTICA Nota de contenido: El cálculo de proposiciones -- El cálculo de clases -- El cálculo restringido de predicados -- El cálculo generalizado de predicados.

Reserva

Reservar este documento

Ejemplares

Nro. de Inventario	Ubicación Física	Préstamo	Localización	Sección	Estado	Origen
100010671	160 HILe	7 días	Colección general	Libros	Domicilio Disponible
66957	160 HILe c.2	7 días	Colección general	Libros	Domicilio Disponible
66956	160 HILe c.3	7 días	Colección general	Libros	Domicilio Disponible

Elementos de lógica teórica / David Hilbert (1972)

Público ISBD Título : Elementos de lógica teórica Tipo de documento: texto impreso Autores: David Hilbert (1862-1943), Autor ; Wilhelm Ackermann (1896-1962), Autor ; Víctor Sánchez de Zavala, Traductor Editorial: Madrid : Tecnos Fecha de publicación: 1972 Colección: Estructura y Función num. 6 Número de páginas: 213 p ISBN/ISSN/DL: 978-84-309-0581-2 Idioma : Español (spa) Clasificación: [Palabras claves]LÓGICA MATEMÁTICA Nota de contenido: El cálculo proposiciones.-- Cálculo de clases.--El cálculo restringido de predicados.-- El cálculo generalizado de predicados Elementos de lógica teórica [texto impreso] / David Hilbert (1862-1943), Autor ; Wilhelm Ackermann (1896-1962), Autor ; Víctor Sánchez de Zavala, Traductor . - Tecnos, 1972 . - 213 p. - (Estructura y Función; 6) . ISBN : 978-84-309-0581-2 Idioma : Español (spa) Clasificación: [Palabras claves]LÓGICA MATEMÁTICA Nota de contenido: El cálculo proposiciones.-- Cálculo de clases.--El cálculo restringido de predicados.-- El cálculo generalizado de predicados

Reserva

Reservar este documento

Ejemplares

Nro. de Inventario	Ubicación Física	Préstamo	Localización	Sección	Estado	Origen
70615	511.3 HILe	7 días	Colección general	Libros	Domicilio Disponible	Donación Jorge H. Cánepa De Boni

Filosofía y sintaxis lógica / Rudolf Carnap (1963)

Público ISBD Título : Filosofía y sintaxis lógica Tipo de documento: texto impreso Autores: Rudolf Carnap (1891-1970), Autor ; César N. Molina, Traductor Editorial: Universidad Nacional Autónoma de México (UNAM). Centro de Estudios Filosóficos Fecha de publicación: 1963 Colección: Cuadernos num. 12 Número de páginas: 59 p ISBN/ISSN/DL: 72788 Idioma : Español (spa) Clasificación: [Palabras claves]FILOSOFÍA [Palabras claves]LENGUAJE Y LENGUAS [Palabras claves]LÓGICA MATEMÁTICA [Palabras claves]LÓGICA SIMBÓLICA [Palabras claves]POSITIVISMO LÓGICO [Palabras claves]SEMÁNTICA Resumen: Esta obra es el fruto de tres conferencias dictadas por Rudolf Carnap en Londres en 1934; en ellas aborda los siguientes temas: el énfasis en la importancia de la lógica para la filosofía, el rechazo de la metafísica por su falta de contenido teórico y su carácter engañoso, la distinción de los modos material y formal de hablar, y su tesis de la unidad del método de la ciencia. Introduce diferentes argumentos que sustentan la relación de la filosofía con la sintaxis lógica del lenguaje para señalar que la única tarea propia de la filosofía es el análisis lógico, y que el análisis sintético del lenguaje es el método preciso para la investigación filosófica. Nota de contenido: El rechazo de la metafísica. -- La sintaxis lógica del lenguaje. -- La sintaxis como el método de la filosofía Filosofía y sintaxis lógica [texto impreso] / Rudolf Carnap (1891-1970), Autor ; César N. Molina, Traductor . - Universidad Nacional Autónoma de México (UNAM). Centro de Estudios Filosóficos, 1963 . - 59 p. - (Cuadernos; 12) . ISSN : 72788 Idioma : Español (spa) Clasificación: [Palabras claves]FILOSOFÍA [Palabras claves]LENGUAJE Y LENGUAS [Palabras claves]LÓGICA MATEMÁTICA [Palabras claves]LÓGICA SIMBÓLICA [Palabras claves]POSITIVISMO LÓGICO [Palabras claves]SEMÁNTICA Resumen: Esta obra es el fruto de tres conferencias dictadas por Rudolf Carnap en Londres en 1934; en ellas aborda los siguientes temas: el énfasis en la importancia de la lógica para la filosofía, el rechazo de la metafísica por su falta de contenido teórico y su carácter engañoso, la distinción de los modos material y formal de hablar, y su tesis de la unidad del método de la ciencia. Introduce diferentes argumentos que sustentan la relación de la filosofía con la sintaxis lógica del lenguaje para señalar que la única tarea propia de la filosofía es el análisis lógico, y que el análisis sintético del lenguaje es el método preciso para la investigación filosófica. Nota de contenido: El rechazo de la metafísica. -- La sintaxis lógica del lenguaje. -- La sintaxis como el método de la filosofía

Reserva

Reservar este documento

Ejemplares

Nro. de Inventario	Ubicación Física	Préstamo	Localización	Sección	Estado	Origen
72788	146.4 CARf	7 días	Colección general	Libros	Domicilio Disponible	Donación Dr. Juan Llambías de Azevedo

A formal background to mathematics lb logic, sets an numbers / Robert E. Edwards (1961)

Público ISBD Título : A formal background to mathematics lb logic, sets an numbers Tipo de documento: texto impreso Autores: Robert E. Edwards (1926-), Autor Editorial: New York : Springer Fecha de publicación: 1961 Número de páginas: 933 p Idioma : Español (spa) Clasificación: [Palabras claves]LÓGICA MATEMÁTICA [Palabras claves]MATEMÁTICA [Palabras claves]NÚMEROS Nota de contenido: Natural numbers and mathematics inducction. --The set. --The induction principle. --Discussion of routine proofsby induction. --Definition by recursion A formal background to mathematics lb logic, sets an numbers [texto impreso] / Robert E. Edwards (1926-), Autor . - New York : Springer, 1961 . - 933 p. Idioma : Español (spa) Clasificación: [Palabras claves]LÓGICA MATEMÁTICA [Palabras claves]MATEMÁTICA [Palabras claves]NÚMEROS Nota de contenido: Natural numbers and mathematics inducction. --The set. --The induction principle. --Discussion of routine proofsby induction. --Definition by recursion

Reserva

Reservar este documento

Ejemplares

Nro. de Inventario	Ubicación Física	Préstamo	Localización	Sección	Estado	Origen
70995	511.3 EDW lb	7 días	Colección general	Libros	Domicilio Disponible	Donación Jorge H. Cánepa De Boni

A formal background to mathematics la logic, sets and numbers / Robert E. Edwards (1961)

Público ISBD Título : A formal background to mathematics la logic, sets and numbers Tipo de documento: texto impreso Autores: Robert E. Edwards (1926-), Autor Editorial: New York : Springer Fecha de publicación: 1961 Número de páginas: 467 p Idioma : Español (spa) Clasificación: [Palabras claves]LÓGICA MATEMÁTICA [Palabras claves]MATEMÁTICA [Palabras claves]NÚMEROS A formal background to mathematics la logic, sets and numbers [texto impreso] / Robert E. Edwards (1926-), Autor . - New York : Springer, 1961 . - 467 p. Idioma : Español (spa) Clasificación: [Palabras claves]LÓGICA MATEMÁTICA [Palabras claves]MATEMÁTICA [Palabras claves]NÚMEROS

Reserva

Reservar este documento

Ejemplares

Nro. de Inventario	Ubicación Física	Préstamo	Localización	Sección	Estado	Origen
70996	511.3 EDW la	7 días	Colección general	Libros	Domicilio Disponible	Donación Jorge H. Cánepa De Boni

Introducción al simbolismo lógico / Jorge E. Bosch (1977)

Público ISBD Título : Introducción al simbolismo lógico Tipo de documento: texto impreso Autores: Jorge E. Bosch, Autor Mención de edición: 8a. ed Editorial: Buenos Aires [Argentina] : Editorial Universitaria de Buenos Aires (EUDEBA) Fecha de publicación: 1977 Número de páginas: 86 p Idioma : Español (spa) Clasificación: [Palabras claves]LÓGICA MATEMÁTICA Introducción al simbolismo lógico [texto impreso] / Jorge E. Bosch, Autor  . -  8a. ed . - Buenos Aires (Argentina) : Editorial Universitaria de Buenos Aires (EUDEBA), 1977 . - 86 p. Idioma : Español (spa) Clasificación: [Palabras claves]LÓGICA MATEMÁTICA

Reserva

Reservar este documento

Ejemplares

Nro. de Inventario	Ubicación Física	Préstamo	Localización	Sección	Estado	Origen
1488	511.3 BOSi 8a. ed	7 días	Colección general	Libros	Domicilio Disponible
55594	511.3 BOSi 8a. ed c. 2	7 días	Colección general	Libros	Domicilio Disponible
55593	511.3 BOSi 9a. ed	7 días	Colección general	Libros	Domicilio Disponible

Introducción a la epistemología y fundamentación de la matemática / Fausto Ismael Toranzos (1943)

Público ISBD Título : Introducción a la epistemología y fundamentación de la matemática Tipo de documento: texto impreso Autores: Fausto Ismael Toranzos (1908-1986), Autor Editorial: Buenos Aires [Argentina] : Espasa Calpe Fecha de publicación: 1943 Número de páginas: 238 p Idioma : Español (spa) Clasificación: [Palabras claves]FILOSOFÍA DE LA MATEMÁTICA [Palabras claves]LÓGICA MATEMÁTICA Nota de contenido: Introducción histórica.-- Introducción a la lógica matemática.-- Introducción a la metodología de la matemática.-- Introducción a la Aritmética.-- Introducción a la Geometría.-- Problemas metalógicos y metamatemáticos.-- Introducción a los problemas filosóficos de la matemática.-- La investigación matemática, por el Dr. Julio Rey Pastor Introducción a la epistemología y fundamentación de la matemática [texto impreso] / Fausto Ismael Toranzos (1908-1986), Autor . - Buenos Aires (Argentina) : Espasa Calpe, 1943 . - 238 p. Idioma : Español (spa) Clasificación: [Palabras claves]FILOSOFÍA DE LA MATEMÁTICA [Palabras claves]LÓGICA MATEMÁTICA Nota de contenido: Introducción histórica.-- Introducción a la lógica matemática.-- Introducción a la metodología de la matemática.-- Introducción a la Aritmética.-- Introducción a la Geometría.-- Problemas metalógicos y metamatemáticos.-- Introducción a los problemas filosóficos de la matemática.-- La investigación matemática, por el Dr. Julio Rey Pastor

Reserva

Reservar este documento

Ejemplares

Nro. de Inventario	Ubicación Física	Préstamo	Localización	Sección	Estado	Origen
55938	510.1 TORi	7 días	Colección general	Libros	Domicilio Disponible
70875	510.1 TORi c. 2	7 días	Colección general	Libros	Domicilio Disponible	Donación Jorge H. Cánepa De Boni

Introducción a la lógica matemática / Patrick Suppes (1982)

Público ISBD Título : Introducción a la lógica matemática Tipo de documento: texto impreso Autores: Patrick Suppes, Autor ; Shirley Hill, Autor Editorial: Barcelona : Reverté Fecha de publicación: 1982 Número de páginas: 278 p ISBN/ISSN/DL: 978-84-291-5150-3 Idioma : Español (spa) Clasificación: [Palabras claves]LÓGICA MATEMÁTICA Nota de contenido: Simbolización de 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 adición.-- Generalización universal Introducción a la lógica matemática [texto impreso] / Patrick Suppes, Autor ; Shirley Hill, Autor . - Barcelona : Reverté, 1982 . - 278 p. ISBN : 978-84-291-5150-3 Idioma : Español (spa) Clasificación: [Palabras claves]LÓGICA MATEMÁTICA Nota de contenido: Simbolización de 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 adición.-- Generalización universal

Reserva

Reservar este documento

Ejemplares

Nro. de Inventario	Ubicación Física	Préstamo	Localización	Sección	Estado	Origen
62155	511.3 SUPi	7 días	Colección general	Libros	Domicilio Disponible	Donación
70803	511.3 SUPi 1978	7 días	Colección general	Libros	Domicilio Disponible	Donación Jorge H. Cánepa De Boni

Introducción a la lógica / Alfred Tarski (1985)

Público ISBD Título : Introducción a la lógica : y a la metodología de las ciencias deductivas Tipo de documento: texto impreso Autores: Alfred Tarski (1901-1983), Autor Editorial: Madrid [España] : Espasa Calpe Fecha de publicación: 1985 Número de páginas: 285 p ISBN/ISSN/DL: 8423964829 Idioma : Español (spa) Clasificación: [Palabras claves]LÓGICA [Palabras claves]LÓGICA MATEMÁTICA Nota de contenido: Elementos de lógica. Método deductivo: Sobre el uso de las variables.-- Sobre el cálculo proposicional.-- Sobre la teoría de la identidad.-- Sobre la teoría de clases.-- Sobre la teoría de relaciones.-- Sobre el método deductivo.-- Aplicaciones de la lógica y de la metodología a la construcción de teorías matemáticas: Leyes sobre la ordenación de números.-- Leyes sobre la adición y sustracción.--Consideraciones de la teoría construida . Fundamentos de la aritmética de los números reales Introducción a la lógica : y a la metodología de las ciencias deductivas [texto impreso] / Alfred Tarski (1901-1983), Autor . - Madrid (España) : Espasa Calpe, 1985 . - 285 p. ISSN : 8423964829 Idioma : Español (spa) Clasificación: [Palabras claves]LÓGICA [Palabras claves]LÓGICA MATEMÁTICA Nota de contenido: Elementos de lógica. Método deductivo: Sobre el uso de las variables.-- Sobre el cálculo proposicional.-- Sobre la teoría de la identidad.-- Sobre la teoría de clases.-- Sobre la teoría de relaciones.-- Sobre el método deductivo.-- Aplicaciones de la lógica y de la metodología a la construcción de teorías matemáticas: Leyes sobre la ordenación de números.-- Leyes sobre la adición y sustracción.--Consideraciones de la teoría construida . Fundamentos de la aritmética de los números reales

Reserva

Reservar este documento

Ejemplares

Nro. de Inventario	Ubicación Física	Préstamo	Localización	Sección	Estado	Origen
55351	511.3 TARi	7 días	Colección general	Libros	Domicilio Disponible	Compra
55353	511.3 TARi c. 2	7 días	Colección general	Libros	Domicilio Disponible
55354	511.3 TARi c. 3	7 días	Colección general	Libros	Domicilio Disponible	Compra
23420	511.3 TARi c.4	7 días	Colección general	Libros	Domicilio Disponible	Donación Jorge H. Cánepa De Boni

Introducción a la metamatematica / Stephen Cole Kleene (1974)

Público ISBD Título : Introducción a la metamatematica Tipo de documento: texto impreso Autores: Stephen Cole Kleene, Autor Editorial: Madrid : Tecnos Fecha de publicación: 1974 Colección: Estructura y Función num. 42 Número de páginas: 494 p ISBN/ISSN/DL: 978-84-309-0529-4 Idioma : Español (spa) Clasificación: [Palabras claves]LÓGICA MATEMÁTICA [Palabras claves]MATEMÁTICA Nota de contenido: El problema de los fundamentos: La teoría de conjuntos.-- Algunos conceptos fundamentales.-- Una crítica del razonamiento matemático.-- Lógica matemática: Un sistema formal.-- Deducción formal.-- El cálculo proposicional.--El cálculo de predicados.-- Teoría formal de números.-- Funciones recursivas: Funciones recursivas primitivas.-- La aritmetización de la metamatemática.-- Funciones recursivas generales.-- Funciones recursivas parciales.-- Lógica matemática (Tópicos adicionales).-- El cálculo de predicados y sistemas axiomáticos.-- Consistencia, sistemas clásicos e intuicionistas.-- Bibliografía.-- Símbolos y notaciones.-- Índice analítico Introducción a la metamatematica [texto impreso] / Stephen Cole Kleene, Autor . - Tecnos, 1974 . - 494 p. - (Estructura y Función; 42) . ISBN : 978-84-309-0529-4 Idioma : Español (spa) Clasificación: [Palabras claves]LÓGICA MATEMÁTICA [Palabras claves]MATEMÁTICA Nota de contenido: El problema de los fundamentos: La teoría de conjuntos.-- Algunos conceptos fundamentales.-- Una crítica del razonamiento matemático.-- Lógica matemática: Un sistema formal.-- Deducción formal.-- El cálculo proposicional.--El cálculo de predicados.-- Teoría formal de números.-- Funciones recursivas: Funciones recursivas primitivas.-- La aritmetización de la metamatemática.-- Funciones recursivas generales.-- Funciones recursivas parciales.-- Lógica matemática (Tópicos adicionales).-- El cálculo de predicados y sistemas axiomáticos.-- Consistencia, sistemas clásicos e intuicionistas.-- Bibliografía.-- Símbolos y notaciones.-- Índice analítico

Reserva

Reservar este documento

Ejemplares

Nro. de Inventario	Ubicación Física	Préstamo	Localización	Sección	Estado	Origen
70614	511.3 KLEi	7 días	Colección general	Libros	Domicilio Disponible	Donación Jorge H. Cánepa De Boni