Model theory /

Código QR

Model theory /

Detalles Bibliográficos
Autor principal:	Chang, C. C.
Otros Autores:	Keisler, H. J. (coautor)
Formato:	Libro
Lenguaje:	Spanish
Publicado:	Amsterdam : North-Hollands, 1973
Colección:	Studies in logic and the foundations of mathematics, v. 73
Materias:	LOGICA SIMBOLICA Y MATEMATICA

Ejemplares similares

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

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

Proof theory : an introduction /
por: Pohlers, Wolfram, et al.
Publicado: (1964)

New foundations for concept theory
por: Schock, Rolf 1933-, et al.
Publicado: (1969)

The Computational complexity of logical theories /
por: Ferrante, Jeanne 1949-, et al.
Publicado: (1964)

Fundamentals of generalized recursion theory /
por: Fitting, Melvin Chris, et al.
Publicado: (1981)

Intuitionism and proof theory : proceedings of the Summer Conference at Buffalo, N. Y. 1968. /
por: Kino, A., et al.
Publicado: (1970)

Foundations of the logical theory of scientific knowledge (complex logic) /
por: Zinoviev, Aleksandr 1922-, et al.
Publicado: (1973)

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

Mathematical logic and foundations of set theory : proceedings of an International Colloquium held under the auspices of the Israel Academy of Sciences an Humanities, Jerusalem, 11-14 november, 1968.
por: Bar, Hillel Yehoshua, et al.
Publicado: (1970)

Set theory and logic
por: Stoll, Robert R.
Publicado: (1963)

Elements of Set Theory /
por: Zehna, Peter W.
Publicado: (1962)

Sets, login, and axiomatic theories
por: Stoll, Robert Roth
Publicado: (1961)

Theorie generale des structures
por: Glivenko, Valere I., et al.
Publicado: (1938)

Finite model theory /
por: Ebbinghaus, Heinz-Dieter 1939-, et al.
Publicado: (1999)

Modèles en Arithmétique Bornée /
por: Chinchilla, Eugenio, et al.
Publicado: (2001)

Notes on logic, by Roger C.Lyndon
por: Lyndon, Róger C., et al.
Publicado: (1966)

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

Formal logic : its scope and limits
por: Jeffrey, Richard C., et al.
Publicado: (1967)

Theory of formal systems /
por: Smullyan, Raymond M.
Publicado: (1961)

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

Model theory and modules /
por: Prest, Mike, et al.
Publicado: (1988)

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

La structure algebrique des theories mathematiques /
por: Henkin, León, et al.
Publicado: (1956)

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)

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

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

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)

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

Investigaciones lógicas /
por: Frege, Gottlob 1848-1925, et al.
Publicado: (1984)

Lógica simbólica
por: Garrido Jiménez, Manuel 1925-, et al.
Publicado: (1991)

Lógica simbólica
por: Garrido Jiménez, Manuel 1925-, et al.
Publicado: (1995)

Lógica simbólica /
por: Garrido Jiménez, Manuel 1925-, et al.
Publicado: (1983)

Lógica simbólica /
por: Garrido Jiménez, Manuel 1925-, et al.
Publicado: (2001)