Modèles en Arithmétique Bornée /

Código QR

Modèles en Arithmétique Bornée /

Detalles Bibliográficos
Autor principal:	Chinchilla, Eugenio (Autor, Autor/a)
Formato:	Libro
Lenguaje:	French
Publicado:	Paris, 2001.
Materias:	ARITMETICA LOGICA, SIMBOLICA Y MATEMATICA MATEMATICAS CONSTRUCTIVAS

Ejemplares similares

Pratica : proofs, types and categories /
por: Hermann Haeusler, Edward
Publicado: (1999)

Foundations of constructive mathematics : metamathematical studies /
por: Beeson, Michael J., et al.
Publicado: (1985)

Model theory /
por: Chang, C. C.
Publicado: (1973)

A course in model theory : an introduction to contemporary mathematical logic /
por: Poizat, Bruno, et al.
Publicado: (2000)

Theorie des modeles en logique mathematique /
por: Daigneault, Aubert 1932-
Publicado: (1967)

Arithmétique programme 1962
por: Lespinard, V.
Publicado: (1962)

Lógica matemática.
por: Ferrater Mora, José

Introduction to mathematical logic : set theory, computable functions, model theory /
por: Malitz, Jerome, et al.
Publicado: (1979)

The theory of models: proceedings of the 1963 International Symposium at Berkeley. /
por: Tarski, Alfred, et al.
Publicado: (1965)

Cours d'arithmetique /
por: Serre, Jean Pierre 1926-, et al.
Publicado: (1970)

La lógica en la matemática /
por: Solís M., Panamá
Publicado: (1965)

Limitaciones internas de los formalismos: estudio sobre la significación del teorema G”del y teoremas conexos en la teoría de los fundamentos de las matemáticas /
por: Ladriére, Jean
Publicado: (1969)

Introducción a la lógica simbólica /
por: Langer, Susanne K.
Publicado: (1975)

Teoría y problemas de teoría de conjuntos y temas a fines
por: Lipschutz, Seymour
Publicado: (1976)

Introducción a la lógica deductiva y teoría de los conjuntos
por: Salazar Resines, Javier
Publicado: (1970)

Iniciación a la lógica simbólica /
por: Arnaz, José Antonio
Publicado: (2015)

Iniciación a la lógica
por: Gortari,Eli de
Publicado: (1974)

Introducción intuitiva a la lógica simbólica
por: Flores, César
Publicado: (1979)

Elementos de lógica simbólica /
por: Barreiro de Nudler, Telma
Publicado: (1973)

Iniciación a la lógica simbólica /
por: Arnaz, José Antonio
Publicado: (1978)

Lógica simbólica y elementos de metodología de la ciencia /
por: Gianella de Salama, Alicia
Publicado: (1982)

Le Raisonnement en mathematiques et en sciences experimentales /
Publicado: (1958)

The Collected papers of Gerhard Gentzen /
por: Gentzen, Gerhard 1909-, et al.
Publicado: (1969)

Introducción a la matemática discreta /
por: Murillo Tsijli, Manuel
Publicado: (2010)

Introducción a la matemática discreta /
por: Murillo Tsijli, Manuel, et al.
Publicado: (2004)

Introducción a la matemática discreta /
por: Murillo Tsijli, Manuel, et al.
Publicado: (2007)

Introducción a la matemática discreta /
por: Murillo Tsijli, Manuel, et al.
Publicado: (2009)

Fundamentos de lógica /
por: Murillo Tsijli, Manuel, et al.
Publicado: (2003)

Matemática discreta : [problemas y ejercicios resueltos] /
por: García, Carlos, et al.
Publicado: (2002)

Matemática discreta /
por: Comellas, Francesc, et al.
Publicado: (2002)

Matemáticas y lógica /
por: Kac, Mark, et al.
Publicado: (1969)

Mathematics and logic : retrospect and prospects /
por: Kac, Mark, et al.
Publicado: (1969)

Introducción a la matemática discreta /
por: Murillo Tsijli, Manuel
Publicado: (2018)

The anatomy of mathematics /
por: Kershner, Richard Brandon 1913-1982
Publicado: (1950)

Conjuntos y estructuras : teoría 350 problemas resueltos 433 ejercicios propuestos /
por: Pinzón Escamilla, Alvaro
Publicado: (1973)

Conjuntos y estructuras : teoría, 350 problemas resueltos, 433 ejercicios propuestos /
por: Pinzón Escamilla, Alvaro
Publicado: (1973)

Conjuntos y estructuras : teoría, 350 problemas resueltos, 433 ejercicios propuestos /
por: Pinzón Escamilla, Alvaro
Publicado: (1973)

Conjuntos y estructuras : teoría, 350 problemas resueltos, 433 ejercicios propuestos /
por: Pinzón Escamilla, Alvaro
Publicado: (1973)

Conjuntos y estructuras : teoría, 350 problemas resueltos, 433 ejercicios propuestos /
por: Pinzón Escamilla, Alvaro
Publicado: (1973)

Conjuntos y estructuras : teoría, 350 problemas resueltos, 433 ejercicios propuestos /
por: Pinzón Escamilla, Alvaro
Publicado: (1973)