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 | ||
| ||
George Boole : filosofia, logica, matematica / a cura di Evandro Agazzi e Nicla Vassallo ; saggi di E. Agazzi... et al.
| George Boole : filosofia, logica, matematica / a cura di Evandro Agazzi e Nicla Vassallo ; saggi di E. Agazzi... et al. |
| Pubbl/distr/stampa | Milano : F. Angeli (, 1998) |
| Descrizione fisica | 295 p ; 22 cm |
| Disciplina | 511.3092 |
| Collana | Epistemologia |
| Soggetto topico | Boole, George |
| ISBN | 88-464-0735-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISA-990000642830203316 |
| Milano : F. Angeli (, 1998) | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Godel : l'eccentrica vita di un genio / John L. Casti, Werner DePauli ; [trad. di Marcello D'Agostino]
| Godel : l'eccentrica vita di un genio / John L. Casti, Werner DePauli ; [trad. di Marcello D'Agostino] |
| Autore | CASTI, John L. |
| Pubbl/distr/stampa | Milano : R. Cortina, 2001 |
| Descrizione fisica | X, 180 p. ; 23 cm. |
| Disciplina | 511.3092 |
| Altri autori (Persone) | DEPAULI, Werner |
| Collana | Scienza e idee |
| Soggetto (Persona) | Godel, Kurt |
| ISBN | 88-7078-711-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISA-990001071920203316 |
|
CASTI, John L.
|
||
| Milano : R. Cortina, 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Gödel, Escher, Bach : un'eterna ghirlanda brillante / Douglas R. Hofstadter ; [edizione a cura di Giuseppe Trautteur]
| Gödel, Escher, Bach : un'eterna ghirlanda brillante / Douglas R. Hofstadter ; [edizione a cura di Giuseppe Trautteur] |
| Autore | HOFSTADTER, Douglas R. |
| Edizione | [10. ed.] |
| Pubbl/distr/stampa | Milano : Adelphi, 2005 |
| Descrizione fisica | XXVII, 852 p. : ill. ; 24 cm |
| Disciplina | 511.3092 |
| Collana | Gli Adelphi |
| Soggetto topico |
Logica matematica
Intelligenza artificiale |
| ISBN | 88-459-0755-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISA-990002721500203316 |
|
HOFSTADTER, Douglas R.
|
||
| Milano : Adelphi, 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Gödel, Escher, Bach : un'eterna ghirlanda brillante / Douglas R. Hofstadter ; [edizione a cura di Giuseppe Trautteur]
| Gödel, Escher, Bach : un'eterna ghirlanda brillante / Douglas R. Hofstadter ; [edizione a cura di Giuseppe Trautteur] |
| Autore | HOFSTADTER, Douglas R. |
| Edizione | [10. ed.] |
| Pubbl/distr/stampa | Milano : Adelphi, 2005 |
| Descrizione fisica | XXVII, 852 p. : ill. ; 24 cm |
| Disciplina | 511.3092 |
| Collana | Gli Adelphi |
| Soggetto (Persona) |
Bach, Johann Sebastian
Gödel, Kurt Escher, Maurits Cornelis |
| Soggetto topico |
Logica matematica
Intelligenza artificiale |
| ISBN | 978-88-459-0755-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISA-990006181580203316 |
|
HOFSTADTER, Douglas R.
|
||
| Milano : Adelphi, 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Gödel, Escher, Bach : un'eterna ghirlanda brillante / Douglas R. Hofstadter ; [edizione a cura di Giuseppe Trautteur]
| Gödel, Escher, Bach : un'eterna ghirlanda brillante / Douglas R. Hofstadter ; [edizione a cura di Giuseppe Trautteur] |
| Autore | HOFSTADTER, Douglas R. |
| Edizione | [3. ed.] |
| Pubbl/distr/stampa | Milano : Adelphi, 1994 |
| Descrizione fisica | XXVII, 852 p. : ill. ; 24 cm |
| Disciplina | 511.3092 |
| Collana | Gli Adelphi |
| Soggetto topico |
Gödel, Kurt
Escher, Maurits Cornelis Bach, Johann Sebastian Logica matematica Intelligenza artificiale |
| ISBN | 88-459-0755-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISA-990000704760203316 |
|
HOFSTADTER, Douglas R.
|
||
| Milano : Adelphi, 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Kurt Gödel, un profilo / Riccardo Bruni
| Kurt Gödel, un profilo / Riccardo Bruni |
| Autore | BRUNI, Riccardo |
| Pubbl/distr/stampa | Roma : Carocci, 2015 |
| Descrizione fisica | 170 p. ; 21 cm |
| Disciplina | 511.3092 |
| Collana | Quality paperbacks |
| Soggetto (Persona) | Gödel, Kurt |
| ISBN | 978-88-430-7513-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISA-990006032050203316 |
|
BRUNI, Riccardo
|
||
| Roma : Carocci, 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
La complessita di Gödel / Cristian Calude ... [et al.] ; a cura di Gabriele Lolli e Ugo Pagallo
| La complessita di Gödel / Cristian Calude ... [et al.] ; a cura di Gabriele Lolli e Ugo Pagallo |
| Pubbl/distr/stampa | Torino : G. Giappichelli, copyr. 2008 |
| Descrizione fisica | VI, 169 p. ; 21 cm |
| Disciplina | 511.3092 |
| Collana | Digitalica |
| Soggetto (Persona) | Gödel, Kurt |
| ISBN | 978-88-348-8271-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISA-990003232740203316 |
| Torino : G. Giappichelli, copyr. 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
