Cargando…

Elements of mathematical logic /

Detalles Bibliográficos
Clasificación:	QA9 N6.13
Autor principal:	Novikov, S. P. (Sergeĭ Petrovich)
Otros Autores:	Boron, Leo F. (Francis) (tr), Goodstein, R.L. (Reuben Louis), 1912-1985 (prol)
Formato:	Libro
Idioma:	Inglés Ruso
Publicado:	Edinburgh : Oliver & Boyd, 1964.
Colección:	Adiwes International Series in Mathematics
Temas:	Lógica matemática

Ejemplares similares

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

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

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

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

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

El pensamiento lógico-matemático : elementos de heurística y apodíctica demostrativa /
por: Sagüillo Fernández-Vega, José Miguel
Publicado: (2008)

Combinatory logic /
Publicado: (1958)

Lógica y algoritmos; con aplicaciones a las ciencias de la computación e información
por: Korfhage, Robert R.
Publicado: (1970)

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

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

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

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

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

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

Completeness theory for propositional logics /
por: Pogorzelski, Witold, 1944-
Publicado: (2008)

Handbook of mathematical logic /
Publicado: (1977)

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

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)

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

A transfinite type theory with type variables
por: Andrews, P. B. (Peter Bruce), 1937-
Publicado: (1965)

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

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

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

Mathematical logic /
por: Ebbinghaus, Heinz-Dieter 1939-
Publicado: (1994)

Constructivism in mathematics : an introduction /
por: Troelstra, A. S. (Anne Sjerp)
Publicado: (1988)

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

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

Logic Colloquium 2006 /
Publicado: (2009)

Classical mathematical logic : the semantic foundations of logic /
por: Epstein, Richard L., 1947-
Publicado: (2006)

The axiom of determinacy, forcing axioms, and the nonstationary ideal /
por: Woodin, W. H. (W. Hugh)
Publicado: (1999)

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)

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

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

The axiom of determinacy, forcing axioms, and the nonstationary ideal /
por: Woodin, W. H. (W. Hugh)
Publicado: (1999)

Lógica elemental /
por: Zubieta Russi, Gonzálo
Publicado: (1973)

Sistemas con lógica difusa
Publicado: (2009)

Lógica matemática elemental /
por: Mates, Benson, 1919-
Publicado: (1970)

Classification theory and the number of non-isomorphic models /
por: Shelah, Saharon
Publicado: (1990)

An introduction to many-valued and fuzzy logic : semantics, algebras, and derivation systems /
por: Bergmann, Merrie
Publicado: (2008)

Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K. July 13-19, 1986 /
Publicado: (1988)

Cannot write session to /tmp/vufind_sessions/sess_kgk2d0nagbnf490csh4dov5qlu