Introduction to model theory and to the metamathematics of algebra.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Robinson, Abraham, 1918-1974
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Amsterdam, North-Holland Pub. Co., 1963.
Colección:Studies in logic and the foundations of mathematics.
Temas:
Algebra, Abstract.
Metamathematics.
Model theory.
Logic, Symbolic and mathematical.
Mathematical models.
Models, Theoretical
Logique symbolique et math�ematique.
Alg�ebre abstraite.
Mod�eles math�ematiques.
M�etamath�ematique.
Th�eorie des mod�eles.
mathematical models.
Mathematical models
Logic, Symbolic and mathematical
Algebra, Abstract
Metamathematics
Model theory
Algebra
Einf�uhrung
Mathematik
Metamathematik
Modelltheorie
Theorie
Acceso en línea:Texto completo
Texto completo
Tabla de Contenidos:
  • Lower predicate calculus
  • Algebraic theories
  • Some concepts and methods of model theory
  • Completeness
  • Definability
  • Generalization of algebraic concepts
  • Metamathematicals theory of ideals
  • Metamathematical theory of varieties
  • Selected topics.

Ejemplares similares