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 Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
| Mathematical Logic [[electronic resource] /] / by Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas |
| Autore | Ebbinghaus Heinz-Dieter <1939-> |
| Edizione | [3rd ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (305 pages) |
| Disciplina | 511.3 |
| Collana | Graduate Texts in Mathematics |
| Soggetto topico |
Mathematical logic
Computer science - Mathematics Mathematical Logic and Foundations Mathematics of Computing Càlcul Lògica matemàtica |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 3-030-73839-6 |
| 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 Computability and Its Limitations -- XI Free Models and Logic Programming -- XII An Algebraic Characterization of Elementary Equivalence -- XIII Lindström’s Theorems -- References -- List of Symbols -- Subject Index. |
| Record Nr. | UNISA-996466386503316 |
Ebbinghaus Heinz-Dieter <1939->
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Mathematical Logic / / by Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
| Mathematical Logic / / by Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas |
| Autore | Ebbinghaus Heinz-Dieter <1939-> |
| Edizione | [3rd ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (305 pages) |
| Disciplina | 511.3 |
| Collana | Graduate Texts in Mathematics |
| Soggetto topico |
Mathematical logic
Computer science - Mathematics Mathematical Logic and Foundations Mathematics of Computing Càlcul Lògica matemàtica |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 3-030-73839-6 |
| 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 Computability and Its Limitations -- XI Free Models and Logic Programming -- XII An Algebraic Characterization of Elementary Equivalence -- XIII Lindström’s Theorems -- References -- List of Symbols -- Subject Index. |
| Record Nr. | UNINA-9910483447003321 |
|
Ebbinghaus Heinz-Dieter <1939->
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||