02248nam0 2200469 i 450 VAN010314220220214111737.433N978-3-0348-0862-020151023d2014 |0itac50 baengCH|||| |||||Mathematical logicfoundations for information scienceWei Li2. revised edBaselBirkhäuserSpringer2014XIV, 301 p.ill.24 cm001VAN00526792001 Progress in computer science and applied logic210 Basel [etc.]Birkhäuser25VAN0240271Shùlǐ luójí : Jīběn yuánlǐ yǔ xíngshì yǎnsuàn296169683C05Einstein's equations (general structure, canonical formalism, Cauchy problems) [MSC 2020]VANC023077MF58J45Hyperbolic equations on manifolds [MSC 2020]VANC023108MF58J05Elliptic equations on manifolds, general theory [MSC 2020]VANC023134MF53C80Applications of global differential geometry to the sciences [MSC 2020]VANC023294MF58J35Heat and other parabolic equation methods for PDEs on manifolds [MSC 2020]VANC024178MF83C35Gravitational waves [MSC 2020]VANC029028MFFirst-order languageKW:KGödel theoremKW:KInductive inferenceKW:KLanguage environmentKW:KRevision calculusKW:KVersion sequenceKW:KBaselVANL002076LiWeiVANV080481721674Birkhäuser <editore>VANV108193650Springer <editore>VANV108073650ITSOL20240614RICAhttp://dx.doi.org/10.1007/978-3-0348-0862-0E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA CENTRO DI SERVIZIO SBAVAN15NVAN0103142BIBLIOTECA CENTRO DI SERVIZIO SBA15CONS SBA EBOOK 4806 15EB 4806 20191107 Shùlǐ luójí : Jīběn yuánlǐ yǔ xíngshì yǎnsuàn2961696UNICAMPANIA