00961nam a22002655i 4500991002192249707536cr nn 008mamaa121227s1981 gw | s |||| 0|eng d9783540386117b14135620-39ule_instBibl. Dip.le Aggr. Matematica e Fisica - Sez. Matematicaeng515.823Bourgain, Jean56557New classes of LP - spaces[e-book] /by Jean BourgainBerlin :Springer,19811 online resource (v, 143 p.)Lecture Notes in Mathematics,0075-8434 ;889MathematicsSpringer eBookshttp://dx.doi.org/10.1007/BFb0096358An electronic book accessible through the World Wide Web.b1413562003-03-2205-09-13991002192249707536New classes of LP - spaces262493UNISALENTOle01305-09-13m@ -enggw 0001606nam2 22003973i 450 MIL013896020251003044225.0019853761120080430d1992 ||||0itac50 baenggbz01i xxxe z01nVol. 2: Backgroundcomputational structuresvolume co-ordinator Dov M. GabbayOxfordClarendon press1992X, 571 p.24 cm.001MIL01389422001 Handbook of logic in computer scienceedited by S. Abramsky, Dov M. Gabbay and T. S. E. Maibaum2InformaticaFIRCFIC002969ELogica simbolicaFIRSBLC002225ILogica matematicaFIRCFIC000378E004ELABORAZIONE DEI DATI. SCIENZA DEGLI ELABORATORI. INFORMATICA14004Informatica22Scienza degli elaboratoriLogica simbolicaLogica matematica <Logica simbolica>InformaticaScienza degli elaboratoriLogica matematicaLogica simbolicaLogica matematicaLogica matematica <Logica simbolica>Gabbay, Dov M.UFIV060549Gabbay, DovUFIV060551Gabbay, Dov M.ITIT-00000020080430IT-BN0095 MIL0138960Biblioteca Centralizzata di Ateneov. 1-2 01SALA DING 004 HANOLI 0102 0000013755 VMA A4(0002 v. 2Y 2008043020080430 01Background887077UNISANNIO