Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
The birth of model theory [[electronic resource] ] : Löwenheim's theorem in the frame of the theory of relatives / / Calixto Badesa ; translated by Michael Maudsley ; revised by the author
| The birth of model theory [[electronic resource] ] : Löwenheim's theorem in the frame of the theory of relatives / / Calixto Badesa ; translated by Michael Maudsley ; revised by the author |
| Autore | Badesa Calixto |
| Edizione | [Course Book] |
| Pubbl/distr/stampa | Princeton, N.J. ; ; Oxford, : Princeton University Press, c2004 |
| Descrizione fisica | 1 online resource (255 pages) |
| Disciplina | 511.3092 |
| Soggetto topico | Logic, Symbolic and mathematical |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-282-60793-6
9786612607936 1-4008-2618-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Contents -- Preface -- Chapter 1. Algebra of Classes and Propositional Calculus -- Chapter 2. The Theory of Relatives -- Chapter 3. Changing the Order of Quantifiers -- Chapter 4. The Löwenheim Normal Form -- Chapter 5. Preliminaries to Löwenheim's Theorem -- Chapter 6. Löwenheim's Theorem -- Appendix. First-Order Logic with Fleeing Indices -- References -- Index |
| Record Nr. | UNINA-9910459138903321 |
Badesa Calixto
|
||
| Princeton, N.J. ; ; Oxford, : Princeton University Press, c2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The birth of model theory [[electronic resource] ] : Löwenheim's theorem in the frame of the theory of relatives / / Calixto Badesa ; translated by Michael Maudsley ; revised by the author
| The birth of model theory [[electronic resource] ] : Löwenheim's theorem in the frame of the theory of relatives / / Calixto Badesa ; translated by Michael Maudsley ; revised by the author |
| Autore | Badesa Calixto |
| Edizione | [Course Book] |
| Pubbl/distr/stampa | Princeton, N.J. ; ; Oxford, : Princeton University Press, c2004 |
| Descrizione fisica | 1 online resource (255 pages) |
| Disciplina | 511.3092 |
| Soggetto topico | Logic, Symbolic and mathematical |
| ISBN |
1-282-60793-6
9786612607936 1-4008-2618-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Contents -- Preface -- Chapter 1. Algebra of Classes and Propositional Calculus -- Chapter 2. The Theory of Relatives -- Chapter 3. Changing the Order of Quantifiers -- Chapter 4. The Löwenheim Normal Form -- Chapter 5. Preliminaries to Löwenheim's Theorem -- Chapter 6. Löwenheim's Theorem -- Appendix. First-Order Logic with Fleeing Indices -- References -- Index |
| Record Nr. | UNINA-9910792700603321 |
|
Badesa Calixto
|
||
| Princeton, N.J. ; ; Oxford, : Princeton University Press, c2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The birth of model theory : Lowenheim's theorem in the frame of the theory of relatives / / Calixto Badesa ; translated by Michael Maudsley ; revised by the author
| The birth of model theory : Lowenheim's theorem in the frame of the theory of relatives / / Calixto Badesa ; translated by Michael Maudsley ; revised by the author |
| Autore | Badesa Calixto |
| Edizione | [Course Book] |
| Pubbl/distr/stampa | Princeton, N.J. ; ; Oxford, : Princeton University Press, c2004 |
| Descrizione fisica | 1 online resource (255 pages) |
| Disciplina | 511.3092 |
| Soggetto topico | Logic, Symbolic and mathematical |
| ISBN |
1-282-60793-6
9786612607936 1-4008-2618-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Contents -- Preface -- Chapter 1. Algebra of Classes and Propositional Calculus -- Chapter 2. The Theory of Relatives -- Chapter 3. Changing the Order of Quantifiers -- Chapter 4. The Löwenheim Normal Form -- Chapter 5. Preliminaries to Löwenheim's Theorem -- Chapter 6. Löwenheim's Theorem -- Appendix. First-Order Logic with Fleeing Indices -- References -- Index |
| Record Nr. | UNINA-9910812654603321 |
|
Badesa Calixto
|
||
| Princeton, N.J. ; ; Oxford, : Princeton University Press, c2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||