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 : 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 | ||
| ||
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 |
53C80 - Applications of global differential geometry to the sciences [MSC 2020]
58J05 - Elliptic equations on manifolds, general theory [MSC 2020] 58J35 - Heat and other parabolic equation methods for PDEs on manifolds [MSC 2020] 58J45 - Hyperbolic equations on manifolds [MSC 2020] 83C05 - Einstein's equations (general structure, canonical formalism, Cauchy problems) [MSC 2020] 83C35 - Gravitational waves [MSC 2020] |
| Soggetto non controllato |
First-order language
Gödel incompleteness 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-VAN00103142 |
|
Li, Wei
|
||
| Basel, : Birkhäuser, : Springer, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||