Vai al contenuto principale della pagina

Mathematical logic : foundations for information science / Wei Li



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: Li, Wei Visualizza persona
Titolo: Mathematical logic : foundations for information science / Wei Li Visualizza cluster
Pubblicazione: Basel, : Birkhäuser, : Springer, 2014
Titolo uniforme: Shùlǐ luójí : Jīběn yuánlǐ yǔ xíngshì yǎnsuàn  
Edizione: 2. revised ed
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 theorem
Inductive inference
Language environment
Revision calculus
Version sequence
Titolo autorizzato: Shùlǐ luójí : Jīběn yuánlǐ yǔ xíngshì yǎnsuàn  Visualizza cluster
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: VAN00103142
Lo trovi qui: Univ. Vanvitelli
Localizzazioni e accesso elettronico http://dx.doi.org/10.1007/978-3-0348-0862-0
Opac: Controlla la disponibilità qui
Serie: Progress in computer science and applied logic Basel [etc.] . -Birkhäuser ; 25