Introduction to model theory and to the metamathematics of algebra.
Call Number: | Libro Electrónico |
---|---|
Main Author: | |
Format: | Electronic eBook |
Language: | Inglés |
Published: |
Amsterdam,
North-Holland Pub. Co.,
1963.
|
Series: | Studies in logic and the foundations of mathematics.
|
Subjects: | |
Online Access: | Texto completo Texto completo |
Table of Contents:
- 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.