Cargando…

Model Theory

Mostrar otras versiones (1)

Detalles Bibliográficos
Autor principal:	Chang, Chen Chung, 1927-
Otros Autores:	Keisler H. J. (, coaut.)
Formato:	Libro
Publicado:	Amsterdam ; Lausanne : Elsevier, 1990 (reimpr. 1998)
Edición:	3a edición
Colección:	Studies in logic and the foundations of mathematics ; 73
Materias:	Teoría de modelos

Ejemplares similares

A shorter model theory
por: Hodges, Wilfrid
Publicado: (1997)

Beginning model theory : the completeness theorem and some consequences
por: Bridge, Jene
Publicado: (1977)

Teoría de modelos
por: Manzano, María
Publicado: (1989)

Una introducción constructiva a la teoría de modelos
por: Sanmartín Esplugues, José
Publicado: (1977)

Classical recursion theory
por: Odifreddi, Piergiorgio, 1950-
Publicado: (1989)

Handbook of proof theory /
Publicado: (1998)

Notes on logic and set theory /
por: Johnstone, P. T.
Publicado: (1987)

El concepto de modelo : introducción a una epistemología materialista de las matemáticas
por: Badiou, Alain
Publicado: (2009)

System theory and practical applications of biomedical signals /
por: Baura, Gail D.
Publicado: (2002)

Mathematical proofs : a transition to advanced mathematics /
por: Chartrand, Gary
Publicado: (2013)

Mathematical proofs : a transition to advanced mathematics
por: Chartrand, Gary
Publicado: (2003)

Análisis de algoritmos y teoría de grafos
por: Abellanas, M.
Publicado: (1991)

Combinators, 2-terms and proof theory
por: Stenlund, Sören
Publicado: (1972)

El concepto de modelo : bases para una epistemología materialista de las matemáticas
por: Badiou, Alain
Publicado: (1978)

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

Admissible sets and structures : an approach to definability theory
por: Barwise, Jon
Publicado: (1975)

Handbook of recursive mathematics /
Publicado: (1998)

Understanding mathematical proof
por: Taylor, John, 1957-
Publicado: (2014)

Computation and automata
por: Salomaa, Arto
Publicado: (1985)

Theory of groups of finite order
por: Burnside, William, 1852-1927
Publicado: (1955)

Some new trends in systems theory
por: Katsenelinboigen, Aron Iosofovich, 1927-
Publicado: (1984)

Mathematical model techniques for learning theories
por: Levine, Gustav
Publicado: (1972)

Handbook of computability theory /
Publicado: (1999)

Theory of recursive functions and effective computability /
por: Rogers, H. (Hartley), 1926-
Publicado: (1987)

Metamathematics, machines, and Gödel's proof /
por: Shankar, N.
Publicado: (1994)

Bertrand Russell y los orígenes de las "paradojas" de la teoría de conjuntos /
por: Garciadiego Dantan, Alejandro Ricardo
Publicado: (1992)

Molecular modeling and theory in chemical engineering /
Publicado: (2001)

Models and economic theory /
por: Papps, Ivy, 1947-
Publicado: (1977)

Minería de datos a través de ejemplos
por: Pérez Marqués, María
Publicado: (2014)

El teorema de Gödel
por: Nagel, Ernest, 1901-
Publicado: (1981)

La prueba de Gödel
por: Nagel, Ernest, 1901-1985
Publicado: (1959)

String theory and M-theory : a modern introduction /
por: Becker, Katrin, 1967-
Publicado: (2007)

Coding theorems of information theory /
por: Wolfowitz, Jacob, 1910-
Publicado: (1978)

Filosofía de las matemáticas y de la ciencia natural
por: Weyl, Hermann, 1885-1955
Publicado: (1965)

Graph theory /
por: Diestel, Reinhard
Publicado: (2000)

Superstring theory : the DNA of reality /
por: Gates, S. James (Sylvester James)
Publicado: (2006)

The magic of numbers
por: Bell, Eric Temple, 1883-1960
Publicado: (1991)

Algoritmos y diagramas de flujo con Raptor /
por: Domínguez Vera, Edgar Danilo
Publicado: (2017)

Introducción al estilo matemático
por: Lorenzo, Javier de
Publicado: (1971)

The philosophy of mathematics
por: Hintikka, Jaakko, 1929-
Publicado: (1969)

Cannot write session to /tmp/vufind_sessions/sess_dfe7oqa6341c8c6ic74m9ujeem