01948nam a2200349 i 4500991001777729707536030916s2002 it b 000 0 ita d8813241178b12195601-39ule_instISUFI - Sett. Diritti e Politiche Euromediterraneeita341.75Picone, Paolo132950Diritto dell'Organizzazione mondiale del commercio /Paolo Picone, Aldo LigustroPadova :CEDAM,c2002xxxix, 676 p. ;24 cmDiritto internazionale e ordine mondiale ;7Include riferimenti bibliograficiWorld Trade OrganizationOrganizzazione mondiale del commercioDirittoLigustro, Aldoauthorhttp://id.loc.gov/vocabulary/relators/aut238674.b1219560104-10-0616-09-03991001777729707536LE029 341.75 PIC01.0112029000003352le029pE44.00-no 00000.i1256567216-09-03LE027 341.75 PIC01.0112027000079407le027-E44.00-no 03030.i1398657018-01-05LE027 341.75 PIC01.01 C. 2C. 212027000102532le027-E44.00-no 01010.i1408352807-06-05LE027 341.75 PIC01.01 C. 3C. 312027000102549le027-E44.00-no 00000.i1408353x07-06-05LE027 341.75 PIC01.01 C. 4C. 412027000102556le027-E44.00-no 00000.i1408354107-06-05LE027 341.75 PIC01.01 C. 5C. 512027000102563le027-E44.00-no 00000.i1408355307-06-05LE027 341.75 PIC01.01 C. 6C. 612027000102570le027-E44.00-no 01010.i1408356507-06-05Diritto dell'organizzazione mondiale del commercio38350UNISALENTOle029le02716-09-03ma -itait 0102596nam0 22006133i 450 VAN027493120240529114811.388N978303073839620240415d2021 |0itac50 baengCH|||| |||||Mathematical LogicHeinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas3. edChamSpringer2021ix, 304 p.ill.24 cm001VAN00235792001 Graduate texts in mathematics210 New York [etc.]Springer29103-XXMathematical logic and foundations [MSC 2020]VANC019750MF03BxxGeneral logic [MSC 2020]VANC024425MF03C07Basic properties of first-order languages and structures [MSC 2020]VANC024469MF03B10Classical first-order logic [MSC 2020]VANC024530MFAxiom system logicKW:KComputability logicKW:KFirst-order languageKW:KFirst-order logicKW:KGraduate mathematical logicKW:KGödel’s completeness theoremKW:KHerbrand's theoremKW:KInfinitary languagesKW:KLindström’s theoremKW:KLogic computer scienceKW:KMathematical logicKW:KMathematical provabilityKW:KModel theory logicKW:KPresburger arithmeticKW:KPropositional logicKW:KSecond order logicKW:KTrakhtenbrot’s theoremKW:KWeak monadic second orderKW:KCHChamVANL001889EbbinghausHeinz-DieterVANV02440946491FlumJörgVANV04426855649ThomasWolfgang1947- VANV044291725869Springer <editore>VANV108073650Ebbinghaus, H.-D.Ebbinghaus, Heinz-DieterVANV044267Flum, JorgFlum, JörgVANV062007ITSOL20240614RICAhttps://doi.org/10.1007/978-3-030-73839-6E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0274931BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 8309 08eMF8309 20240430 Mathematical logic1424697UNICAMPANIA