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 / Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
| Mathematical Logic / Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas |
| Autore | Ebbinghaus, Heinz-Dieter |
| Edizione | [3. ed] |
| Pubbl/distr/stampa | Cham, : Springer, 2021 |
| Descrizione fisica | ix, 304 p. : ill. ; 24 cm |
| Altri autori (Persone) |
Flum, Jörg
Thomas, Wolfgang <1947- > |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Bxx - General logic [MSC 2020] 03C07 - Basic properties of first-order languages and structures [MSC 2020] 03B10 - Classical first-order logic [MSC 2020] |
| Soggetto non controllato |
Axiom system logic
Computability logic First-order language First-order logic Graduate mathematical logic Gödel’s completeness theorem Herbrand's theorem Infinitary languages Lindström’s theorem Logic computer science Mathematical logic Mathematical provability Model theory logic Presburger arithmetic Propositional logic Second order logic Trakhtenbrot’s theorem Weak monadic second order |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0274931 |
Ebbinghaus, Heinz-Dieter
|
||
| Cham, : Springer, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Mathematical logic : foundations for information science / Wei Li
| Mathematical logic : foundations for information science / Wei Li |
| Autore | Li, Wei |
| Edizione | [2. revised ed] |
| Pubbl/distr/stampa | Basel, : Birkhäuser, : Springer, 2014 |
| Descrizione fisica | XIV, 301 p. : ill. ; 24 cm |
| Soggetto topico |
83C05 - Einstein's equations (general structure, canonical formalism, Cauchy problems) [MSC 2020]
58J45 - Hyperbolic equations on manifolds [MSC 2020] 58J05 - Elliptic equations on manifolds, general theory [MSC 2020] 53C80 - Applications of global differential geometry to the sciences [MSC 2020] 58J35 - Heat and other parabolic equation methods for PDEs on manifolds [MSC 2020] 83C35 - Gravitational waves [MSC 2020] |
| Soggetto non controllato |
First-order language
Gödel theorem Inductive inference Language environment Revision calculus Version sequence |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0103142 |
|
Li, Wei
|
||
| Basel, : Birkhäuser, : Springer, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||