Cargando…

Introducción a la lógica Matemática

Mostrar otras versiones (2)

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor principal:	Tinoco del Valle, Jesús
Otros Autores:	Hernández Sastoque, Eric, Escorcia Caballero, Edgardo
Formato:	Electrónico eBook
Idioma:	Español
Publicado:	Bogota : Editorial UniMagdalena, 2023.
Colección:	Ciencias Naturales Series.
Temas:	Logic, Symbolic and mathematical.
Acceso en línea:	Texto completo

Ejemplares similares

Introducción a la lógica matemática /
por: Tinoco del Valle, Jesús, et al.
Publicado: (2023)

Lógica matemática /
por: Solís Daun, Julio Ernesto
Publicado: (1982)

Lógica matemática /
por: Castro Tapia, Max Fernández
Publicado: (2011)

Lógica matemática /
por: Mora Espinosa, Carlos Fernando, et al.
Publicado: (2019)

Introducción a la historia a la filosofía de la matemática. Volumen 2, hacia la formalización en Hilbert y en Bourbaki /
por: Campos, Alberto
Publicado: (2008)

Lógica de enunciados algunos aspectos básicos /
por: Herrera Madrigal, José
Publicado: (1995)

Introducción a la lógica matemática /
por: Suppes, Patrick, 1922-2014, et al.
Publicado: (2021)

Con argumento lógico : notas de matemáticas aplicadas /
por: VIRGILIO OBESO, MANUEL NAVARRO, FRANCISCO JOSE SA

The foundations of mathematics /
por: Stewart, Ian, 1945-, et al.
Publicado: (2015)

A first course in logic : an introduction to model theory, proof theory, computability, and complexity /
por: Hedman, Shawn
Publicado: (2004)

Introducción a la lógica matemática /
por: Tinoco del Valle, Jesús Antonio
Publicado: (2023)

Mathematical logic in the 20th century /
Publicado: (2003)

Mathematical logic /
por: Chiswell, Ian, 1948-
Publicado: (2007)

Mathematical logic in the 20th century /
Publicado: (2003)

A tour through mathematical logic /
por: Wolf, Robert S.
Publicado: (2005)

Elementos básicos de matemáticas con herramientas interactivas /
por: Grisales Aguire, Andrés Mauricio
Publicado: (2018)

Handbook of Mathematical Logic.
por: Barwise, Jon
Publicado: (1989)

In the Light of Logic.
por: Feferman, Solomon
Publicado: (1999)

Introduction to Mathematical Structures and Proofs.
por: Banchoff, Thomas F.
Publicado: (1996)

Logical dynamics of information and interaction /
por: Benthem, Johan van, 1949-
Publicado: (2011)

The mathematics of logic : a guide to completeness theorems and their applications /
por: Kaye, Richard (Richard W.)
Publicado: (2007)

The mathematics of logic : a guide to completeness theorems and their applications /
por: Kaye, Richard (Richard W.)
Publicado: (2007)

Logic Colloquium 2007 /
Publicado: (2010)

Proceedings of the 12Th Asian Logic Conference.
por: Downey, R. G. (Rod G.)
Publicado: (2013)

Logic Colloquium 2005 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, July 28-August 3, 2005 /
Publicado: (2007)

Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008 /
Publicado: (2010)

Proceedings of the 12Th Asian Logic Conference.
por: Downey, R. G. (Rod G.)
Publicado: (2013)

Diamond : a paradox logic /
por: Hellerstein, N. S. (Nathaniel S.)
Publicado: (2010)

Kurt Gödel : collected works.
por: Gödel, Kurt
Publicado: (2014)

In the light of logic /
por: Feferman, Solomon
Publicado: (1998)

Bridge to abstract mathematics /
por: Oberste-Vorth, Ralph W., 1959-
Publicado: (2012)

Bridge to abstract mathematics /
por: Oberste-Vorth, Ralph W., 1959-
Publicado: (2012)

Methods and Applications of Mathematical Logic.
por: Carnielli, Walter A.
Publicado: (1988)

Advances in logic : the North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas /
Publicado: (2007)

Kurt Gödel : essays for his centennial /
Publicado: (2010)

Logical dynamics of information and interaction /
por: Benthem, Johan van, 1949-
Publicado: (2011)

Mathematical logic /
por: Chiswell, Ian, 1948-
Publicado: (2007)

Introducció a la lg̣ica /
por: Barrière Figueroa, Eulalia
Publicado: (2006)

Logic Colloquium '96 : proceedings of the Colloquium held in San Sebastián, Spain, July 9-15, 1996 /
Publicado: (2016)

Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008 /
Publicado: (2010)

Cannot write session to /tmp/vufind_sessions/sess_3jnm2ab8k5mcfje8rv5k7vave4