$Éléments de logique mathématique : théorie des modèles /$

Éléments de logique mathématique : théorie des modèles /

Guardado en:

Detalles Bibliográficos
Autor principal:	Kreisel, Georg.
Otros Autores:	Krivine, J. L. joint author.
Formato:	Libro
Lenguaje:
Publicado:	Paris : Dunod, 1967.
Colección:	Monographies de la Société mathétique de France ; 3
Materias:	Logic, Symbolic and mathematical. Mathematical models.

Ejemplares similares

Applications scientifiques de la logique mathématique : actes du 2e Colloque international de logique mathématique, Paris, 25-30 août 1952, Institut Henri Poincaré.
por: Paris (Université. Centre d'études de logique symbolique)
Publicado: (1954.)

Einführung in die operative Logik und Mathematik. /
por: Lorenzen, Paul, 1915-1994.
Publicado: (1955.)

Foundations of mathematical logic. /
por: Curry, Haskell B. 1900-
Publicado: ([1963])

Elements of symbolic logic /
por: Reichenbach, Hans, 1891-1953.
Publicado: (1947.)

Aspectos de la lógica modal. /
por: Makinson, David Clement.
Publicado: (1971.)

Recherches sur la théorie générale des systèmes formels et sur les systèmes connectifs /
por: Porte, Jean.
Publicado: (1965.)

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

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

El pensamiento lógico-matemático /
por: Sagüillo Fernández-Vega, José Miguel.
Publicado: (2008)

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

Principles of mathematical logic /
por: Hilbert, David, 1862-1943.
Publicado: (1950.)

Grundzüge der theoretischen Logik /
por: Hilbert, David, 1862-1943.
Publicado: (1946.)

Grundzüge der theoretischen Logik /
por: Hilbert, David, 1862-1943.
Publicado: (1949.)

Asignación de valores en las proposiciones atómicas y moleculares
Publicado: (2004)

Números combinatorios y probabilidades
por: Miró, Ricardo.
Publicado: (2007)

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

Razonamiento lógico matemático para la toma de decisiones /
por: Peralta Márquez, Norma Elvira,
Publicado: (2015)

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)

Las ciencias formales
Publicado: (2004)

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

The elements of mathematical logic /
por: Rosenbloom, Paul C.
Publicado: (1950.)

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

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

An introduction to mathematical modeling /
por: Bender, Edward A., 1942-
Publicado: (c1978.)

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

Éléments de mathématique : Les structures fondamentales de l´analyse /
por: Bourbaki, N.
Publicado: (1960.)

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

Conectivas lógicas
Publicado: (2004)

Mathematical models in physical sciences ; proceedings /
por: Conference on Mathematical Models in the Physical Sciences (1962 : University of Notre Dame)
Publicado: ([1963])

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

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

Mathematics in nature : modeling patterns in the natural world /
por: Adam, John A.
Publicado: (c2003.)

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

Esquema para el pre-procesamiento de conjuntos de entrenamiento de clasificadores del vecino más cercano basado en extensiones a la teoría de los conjuntos aproximados /
por: Villuendas Rey, Yenny.
Publicado: (2014)

Conectivas lógicas y tablas de verdad ejercicios /
Publicado: (2004)

Mathématiques pures. : Première partie du programme de la classe de mathématiques supérieures /
por: Bouligand, Georges, 1889-
Publicado: (1945.)

Mathématiques appliquées. : Deuxième partie du programme de la classe de mathématiques supérieures /
por: Bouligand, Georges, 1889-
Publicado: (1945.)

Epistemología de la educación matemática
por: Soto Sedek, Natalia.
Publicado: (2009)

Cours de mathématiques /
por: Bass, J.
Publicado: (1961.)

Moisil algebras /
por: Cignoli, Roberto.
Publicado: (1970.)