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.
Mathematical Logic [[electronic resource] /] / by H.-D. Ebbinghaus, J. Flum, Wolfgang Thomas
| Mathematical Logic [[electronic resource] /] / by H.-D. Ebbinghaus, J. Flum, Wolfgang Thomas |
| Autore | Ebbinghaus H.-D |
| Edizione | [2nd ed. 1994.] |
| Pubbl/distr/stampa | New York, NY : , : Springer New York : , : Imprint : Springer, , 1994 |
| Descrizione fisica | 1 online resource (X, 291 p.) |
| Disciplina | 511.3 |
| Collana | Undergraduate Texts in Mathematics |
| Soggetto topico |
Mathematical logic
Mathematics—Study and teaching Mathematical Logic and Foundations Mathematics Education |
| ISBN | 1-4757-2355-5 |
| Classificazione | 03-01 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A -- I Introduction -- II Syntax of First-Order Languages -- III Semantics of First-Order Languages -- IV A Sequent Calculus -- V The Completeness Theorem -- VI The Löwenheim-Skolem and the Compactness Theorem -- VII The Scope of First-Order Logic -- VIII Syntactic Interpretations and Normal Forms -- B -- IX Extensions of First-Order Logic -- X Limitations of the Formal Method -- XI Free Models and Logic Programming -- XII An Algebraic Characterization of Elementary Equivalence -- XIII Lindström’s Theorems -- References -- Symbol Index. |
| Record Nr. | UNINA-9910480732103321 |
Ebbinghaus H.-D
|
||
| New York, NY : , : Springer New York : , : Imprint : Springer, , 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mathematical Logic [[electronic resource] /] / by H.-D. Ebbinghaus, J. Flum, Wolfgang Thomas
| Mathematical Logic [[electronic resource] /] / by H.-D. Ebbinghaus, J. Flum, Wolfgang Thomas |
| Autore | Ebbinghaus Heinz-Dieter <1939-> |
| Edizione | [2nd ed. 1994.] |
| Pubbl/distr/stampa | New York, NY : , : Springer New York : , : Imprint : Springer, , 1994 |
| Descrizione fisica | 1 online resource (X, 291 p.) |
| Disciplina | 511.3 |
| Collana | Undergraduate Texts in Mathematics |
| Soggetto topico |
Mathematical logic
Mathematics—Study and teaching Mathematical Logic and Foundations Mathematics Education |
| ISBN | 1-4757-2355-5 |
| Classificazione | 03-01 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A -- I Introduction -- II Syntax of First-Order Languages -- III Semantics of First-Order Languages -- IV A Sequent Calculus -- V The Completeness Theorem -- VI The Löwenheim-Skolem and the Compactness Theorem -- VII The Scope of First-Order Logic -- VIII Syntactic Interpretations and Normal Forms -- B -- IX Extensions of First-Order Logic -- X Limitations of the Formal Method -- XI Free Models and Logic Programming -- XII An Algebraic Characterization of Elementary Equivalence -- XIII Lindström’s Theorems -- References -- Symbol Index. |
| Record Nr. | UNINA-9910792487603321 |
|
Ebbinghaus Heinz-Dieter <1939->
|
||
| New York, NY : , : Springer New York : , : Imprint : Springer, , 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mathematical Logic / / by H.-D. Ebbinghaus, J. Flum, Wolfgang Thomas
| Mathematical Logic / / by H.-D. Ebbinghaus, J. Flum, Wolfgang Thomas |
| Autore | Ebbinghaus Heinz-Dieter <1939-> |
| Edizione | [2nd ed. 1994.] |
| Pubbl/distr/stampa | New York, NY : , : Springer New York : , : Imprint : Springer, , 1994 |
| Descrizione fisica | 1 online resource (X, 291 p.) |
| Disciplina | 511.3 |
| Collana | Undergraduate Texts in Mathematics |
| Soggetto topico |
Logic, Symbolic and mathematical
Mathematics - Study and teaching Mathematical Logic and Foundations Mathematics Education |
| ISBN | 1-4757-2355-5 |
| Classificazione | 03-01 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A -- I Introduction -- II Syntax of First-Order Languages -- III Semantics of First-Order Languages -- IV A Sequent Calculus -- V The Completeness Theorem -- VI The Löwenheim-Skolem and the Compactness Theorem -- VII The Scope of First-Order Logic -- VIII Syntactic Interpretations and Normal Forms -- B -- IX Extensions of First-Order Logic -- X Limitations of the Formal Method -- XI Free Models and Logic Programming -- XII An Algebraic Characterization of Elementary Equivalence -- XIII Lindström’s Theorems -- References -- Symbol Index. |
| Record Nr. | UNINA-9910956106103321 |
|
Ebbinghaus Heinz-Dieter <1939->
|
||
| New York, NY : , : Springer New York : , : Imprint : Springer, , 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Sets, Logic and Categories [[electronic resource] /] / by Peter J. Cameron
| Sets, Logic and Categories [[electronic resource] /] / by Peter J. Cameron |
| Autore | Cameron Peter J |
| Edizione | [1st ed. 1998.] |
| Pubbl/distr/stampa | London : , : Springer London : , : Imprint : Springer, , 1998 |
| Descrizione fisica | 1 online resource (X, 182 p.) |
| Disciplina | 511.3/22 |
| Collana | Springer Undergraduate Mathematics Series |
| Soggetto topico |
Mathematical logic
Category theory (Mathematics) Homological algebra K-theory Mathematical Logic and Foundations Category Theory, Homological Algebra K-Theory |
| ISBN | 1-4471-0589-3 |
| Classificazione |
03-01
00A05 13-01 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Naïve set theory -- 2. Ordinal numbers -- 3. Logic -- 4. First-order logic -- 5. Model theory -- 6. Axiomatic set theory -- 7. Categories -- 8. Where to from here? -- Solutions to selected exercises -- References. |
| Record Nr. | UNINA-9910479876403321 |
|
Cameron Peter J
|
||
| London : , : Springer London : , : Imprint : Springer, , 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Sets, Logic and Categories [[electronic resource] /] / by Peter J. Cameron
| Sets, Logic and Categories [[electronic resource] /] / by Peter J. Cameron |
| Autore | Cameron Peter J |
| Edizione | [1st ed. 1998.] |
| Pubbl/distr/stampa | London : , : Springer London : , : Imprint : Springer, , 1998 |
| Descrizione fisica | 1 online resource (X, 182 p.) |
| Disciplina | 511.3/22 |
| Collana | Springer Undergraduate Mathematics Series |
| Soggetto topico |
Mathematical logic
Category theory (Mathematics) Homological algebra K-theory Mathematical Logic and Foundations Category Theory, Homological Algebra K-Theory |
| ISBN | 1-4471-0589-3 |
| Classificazione |
03-01
00A05 13-01 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Naïve set theory -- 2. Ordinal numbers -- 3. Logic -- 4. First-order logic -- 5. Model theory -- 6. Axiomatic set theory -- 7. Categories -- 8. Where to from here? -- Solutions to selected exercises -- References. |
| Record Nr. | UNINA-9910789345203321 |
|
Cameron Peter J
|
||
| London : , : Springer London : , : Imprint : Springer, , 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Sets, Logic and Categories / / by Peter J. Cameron
| Sets, Logic and Categories / / by Peter J. Cameron |
| Autore | Cameron Peter J |
| Edizione | [1st ed. 1998.] |
| Pubbl/distr/stampa | London : , : Springer London : , : Imprint : Springer, , 1998 |
| Descrizione fisica | 1 online resource (X, 182 p.) |
| Disciplina | 511.3/22 |
| Collana | Springer Undergraduate Mathematics Series |
| Soggetto topico |
Logic, Symbolic and mathematical
Algebra, Homological K-theory Mathematical Logic and Foundations Category Theory, Homological Algebra K-Theory |
| ISBN | 1-4471-0589-3 |
| Classificazione |
03-01
00A05 13-01 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Naïve set theory -- 2. Ordinal numbers -- 3. Logic -- 4. First-order logic -- 5. Model theory -- 6. Axiomatic set theory -- 7. Categories -- 8. Where to from here? -- Solutions to selected exercises -- References. |
| Record Nr. | UNINA-9910962004603321 |
|
Cameron Peter J
|
||
| London : , : Springer London : , : Imprint : Springer, , 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||