Cargando…

Lógica matemática /

Detalles Bibliográficos
Clasificación:	QA9.2 S6.5
Autor principal:	Solís Daun, Julio Ernesto (autor)
Otros Autores:	Torres Falcón, Yolanda (autor)
Formato:	Libro
Idioma:	Español
Publicado:	México D. F. : Universidad Autónoma Metropolitana, Unidad Iztapalapa, 1982.
Temas:	Lógica matemática Logic, Symbolic and mathematical

Ejemplares similares

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

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

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

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)

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

Fundamentos de matemáticas y lógica
por: Gutiérrez González, Eduardo, et al.
Publicado: (1998)

Appalachian set theory : 2006-2012 /
Publicado: (2012)

EL razonamiento lógico en el lenguaje simbólico y en el lenguaje natural /
por: Kemel, George
Publicado: (2020)

The future of post-human mathematical logic /
por: Baofu, Peter
Publicado: (2008)

Logicism and its philosophical legacy /
por: Demopoulos, William
Publicado: (2013)

Logicism and its philosophical legacy /
por: Demopoulos, William
Publicado: (2013)

Lógica simbólica /
por: Garrido, Manuel, 1925-2015
Publicado: (2001)

Lógica simbólica /
por: Copi, Irving M.
Publicado: (1979)

Handbook of mathematical induction : theory and applications /
por: Gunderson, David S
Publicado: (2011)

Lógica matemática y teoría de conjuntos /
por: Vargas Villegas, Elizabeth
Publicado: (2019)

Los gráficos existenciales peirceanos : sistemas de lógicas diagramáticas del continuo : horosis, tránsitos, reflejos, fondos /
por: Zalamea Traba, Fernando, 1959-
Publicado: (2010)

Institution-independent model theory /
por: Diaconescu, Răzvan
Publicado: (2008)

Lógica difusa, un punto de vista
por: Strefezza, Miguel
Publicado: (2009)

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

Model theory and the philosophy of mathematical practice : formalization without foundationalism /
por: Baldwin, John T.
Publicado: (2018)

How to read and do proofs : an introduction to mathematical thought processes /
por: Solow, Daniel
Publicado: (2014)

Admissibility of logical inference rules /
por: Rybakov, Vladimir V. (Vladimir Vladimir), 1961-
Publicado: (1997)

Logic Colloquium 2006 /
Publicado: (2009)

Filosofía sintética de las matemáticas contemporáneas /
por: Zalamea Traba, Fernando, 1959-
Publicado: (2009)

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

Matemáticas para informática /
por: Gutiérrez García, Ismael
Publicado: (2013)

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

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

Handbook of mathematical logic /
Publicado: (1977)

A mathematical introduction to logic /
por: Enderton, Herbert B.
Publicado: (2001)

Models and computability : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 /
Publicado: (1999)

Primer curso de lógica matemática /
por: Suppes, Patrick, 1922-
Publicado: (1992)

Logic /
por: Hodges, Wilfrid, 1941-
Publicado: (2001)

Con argumento lógico : notas de matemáticas aplicadas /
por: Obeso Fernández, Virgilio
Publicado: (2013)

Una introducción matemática a la lógica
por: Enderton, Herbert B.
Publicado: (1987)

Matemática fundamental para matemáticos /
por: Robledo Potes, Jaime
Publicado: (2014)

The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory /
por: Gödel, Kurt
Publicado: (1940)

Foundations without foundationalism : a case for second-order logic /
por: Shapiro, Stewart, 1951-
Publicado: (1991)

Foundations without foundationalism : a case for second-order logic /
por: Shapiro, Stewart, 1951-
Publicado: (1991)

Reseña crítica de "Lógica simbólica y elementos de metodología de la ciencia", de Gianella, Alicia
Publicado: (2011)

Cannot write session to /tmp/vufind_sessions/sess_9v2ihke9rbmbl45oh6s9jr6ks4