02270nam0 2200469 i 450 VAN0010314220250506102127.77N978-3-0348-0862-020151023d2014 |0itac50 baengCH|||| |||||Mathematical logicfoundations for information scienceWei Li2. revised edBaselBirkhäuserSpringer2014XIV, 301 p.ill.24 cm001VAN000526792001 Progress in computer science and applied logic210 Basel [etc.]Birkhäuser25VAN00240271Shùlǐ luójí : Jīběn yuánlǐ yǔ xíngshì yǎnsuàn296169653C80Applications of global differential geometry to the sciences [MSC 2020]VANC023294MF58J05Elliptic equations on manifolds, general theory [MSC 2020]VANC023134MF58J35Heat and other parabolic equation methods for PDEs on manifolds [MSC 2020]VANC024178MF58J45Hyperbolic equations on manifolds [MSC 2020]VANC023108MF83C05Einstein's equations (general structure, canonical formalism, Cauchy problems) [MSC 2020]VANC023077MF83C35Gravitational waves [MSC 2020]VANC029028MFFirst-order languageKW:KGödel incompleteness theoremKW:KInductive inferenceKW:KLanguage environmentKW:KRevision calculusKW:KVersion sequenceKW:KCHBaselVANL002076LiWeiVANV080481721674Birkhäuser <editore>VANV108193650Springer <editore>VANV108073650ITSOL20250509RICAhttp://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 SBAVAN15NVAN00103142BIBLIOTECA 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