LEADER 02252nam0 2200469 i 450 001 VAN00103142 005 20240806100722.347 017 70$2N$a978-3-0348-0862-0 100 $a20151023d2014 |0itac50 ba 101 $aeng 102 $aCH 105 $a|||| ||||| 200 1 $aMathematical logic$efoundations for information science$fWei Li 205 $a2. revised ed 210 $aBasel$cBirkhäuser$cSpringer$d2014 215 $aXIV, 301 p.$cill.$d24 cm 410 1$1001VAN00052679$12001 $aProgress in computer science and applied logic$1210 $aBasel [etc.]$cBirkhäuser$v25 500 1$3VAN00240271$aShùl? luójí : J?b?n yuánl? y? xíngshì y?nsuàn$92961696 606 $a53C80$xApplications of global differential geometry to the sciences [MSC 2020]$3VANC023294$2MF 606 $a58J05$xElliptic equations on manifolds, general theory [MSC 2020]$3VANC023134$2MF 606 $a58J35$xHeat and other parabolic equation methods for PDEs on manifolds [MSC 2020]$3VANC024178$2MF 606 $a58J45$xHyperbolic equations on manifolds [MSC 2020]$3VANC023108$2MF 606 $a83C05$xEinstein's equations (general structure, canonical formalism, Cauchy problems) [MSC 2020]$3VANC023077$2MF 606 $a83C35$xGravitational waves [MSC 2020]$3VANC029028$2MF 610 $aFirst-order language$9KW:K 610 $aGödel theorem$9KW:K 610 $aInductive inference$9KW:K 610 $aLanguage environment$9KW:K 610 $aRevision calculus$9KW:K 610 $aVersion sequence$9KW:K 620 $dBasel$3VANL002076 700 1$aLi$bWei$3VANV080481$0721674 712 $aBirkhäuser $3VANV108193$4650 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240906$gRICA 856 4 $uhttp://dx.doi.org/10.1007/978-3-0348-0862-0$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA CENTRO DI SERVIZIO SBA$2VAN15 912 $fN 912 $aVAN00103142 950 $aBIBLIOTECA CENTRO DI SERVIZIO SBA$d15CONS SBA EBOOK 4806 $e15EB 4806 20191107 996 $aShùl? luójí : J?b?n yuánl? y? xíngshì y?nsuàn$92961696 997 $aUNICAMPANIA