LEADER 01723nam0 2200373 i 450 
001 SUN0103142
005 20210412041429.964
010   $a8-3-0348-0861-3$d0.00
017 70$2N$a978-3-0348-0862-0
100   $a20151023d2014       |0engc50      ba
101   $aeng
102   $aCH
105   $a||||    |||||
200 1 $a*Mathematical 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$1001SUN0052679$12001 $a*Progress in computer science and applied logic$v25$1210  $aBoston$cBirkhäuser$d1982-.
606   $a83C05$xEinstein's equations (general structure, canonical formalism, Cauchy problems) [MSC 2020]$2MF$3SUNC023077
606   $a58J45$xHyperbolic equations on manifolds [MSC 2020]$2MF$3SUNC023108
606   $a58J05$xElliptic equations on manifolds, general theory [MSC 2020]$2MF$3SUNC023134
606   $a53C80$xApplications of global differential geometry to the sciences [MSC 2020]$2MF$3SUNC023294
606   $a58J35$xHeat and other parabolic equation methods for PDEs on manifolds [MSC 2020]$2MF$3SUNC024178
606   $a83C35$xGravitational waves [MSC 2020]$2MF$3SUNC029028
620   $dBasel$3SUNL002076
700  1$aLi$b, Wei$3SUNV080481$0721674
712   $aSpringer$3SUNV000178$4650
712   $aBirkhäuser$3SUNV000319$4650
801   $aIT$bSOL$c20210419$gRICA
856 4 $uhttp://dx.doi.org/10.1007/978-3-0348-0862-0
912   $aSUN0103142
950   $aBIBLIOTECA CENTRO DI SERVIZIO SBA$d15CONS      SBA EBOOK 4806                      $e15EB 4806              20191107            
996   $aMathematical logic$91410153
997   $aUNICAMPANIA