01723nam0 2200373 i 450 SUN010314220210412041429.9648-3-0348-0861-30.00N978-3-0348-0862-020151023d2014 |0engc50 baengCH|||| |||||*Mathematical logicfoundations for information scienceWei Li2. revised edBaselBirkhäuserSpringer2014XIV, 301 p.ill.24 cm001SUN00526792001 *Progress in computer science and applied logic25210 BostonBirkhäuser1982-.83C05Einstein's equations (general structure, canonical formalism, Cauchy problems) [MSC 2020]MFSUNC02307758J45Hyperbolic equations on manifolds [MSC 2020]MFSUNC02310858J05Elliptic equations on manifolds, general theory [MSC 2020]MFSUNC02313453C80Applications of global differential geometry to the sciences [MSC 2020]MFSUNC02329458J35Heat and other parabolic equation methods for PDEs on manifolds [MSC 2020]MFSUNC02417883C35Gravitational waves [MSC 2020]MFSUNC029028BaselSUNL002076Li, WeiSUNV080481721674SpringerSUNV000178650BirkhäuserSUNV000319650ITSOL20210419RICAhttp://dx.doi.org/10.1007/978-3-0348-0862-0SUN0103142BIBLIOTECA CENTRO DI SERVIZIO SBA15CONS SBA EBOOK 4806 15EB 4806 20191107 Mathematical logic1410153UNICAMPANIA