Cargando…
Elements of mathematical logic (Model theory)
| Clasificación: | Libro Electrónico |
|---|---|
| Autores principales: | , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés Indeterminado |
| Publicado: |
Amsterdam,
North Holland Pub. Co.,
1967.
|
| Colección: | Studies in logic and the foundations of mathematics.
|
| Temas: | |
| Acceso en línea: | Texto completo Texto completo Texto completo |
Tabla de Contenidos:
- Propositional calculus
- Predicate calculus
- Predicate calculus with equality
- Elimination of Quantifiers
- Predicate calculus with several types of objects : the hierarchy of finite types
- Definability
- Principal models : models of infinite formulas.