Loading…
The birth of model theory : Lowenheim's theorem in the frame of the theory of relatives /
Annotation
| Call Number: | Libro Electrónico |
|---|---|
| Main Author: | |
| Format: | Electronic eBook |
| Language: | Inglés Español |
| Published: |
Princeton :
Princeton University Press,
©2004.
|
| Subjects: | |
| Online Access: | Texto completo |
Table of Contents:
- 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.