Cargando…
The birth of model theory : Lowenheim's theorem in the frame of the theory of relatives /
Annotation
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés Español |
| Publicado: |
Princeton :
Princeton University Press,
©2004.
|
| Temas: | |
| Acceso en línea: | Texto completo |
Tabla de Contenidos:
- Ch. 1. Algebra of Classes and Propositional Calculus
- Ch. 2. Theory of Relatives
- Ch. 3. Changing the Order of Quantifiers
- Ch. 4. Lowenheim Normal Form
- Ch. 5. Preliminaries to Lowenheim's Theorem
- Ch. 6. Lowenheim's Theorem
- pp. First-Order Logic with Fleeing Indices.