01422nam0-22003251i-450-99000468591040332120071011124025.0000468591FED01000468591(Aleph)000468591FED0100046859119990604g19919999km-y0itay50------baitay-------001yy<<La >>logistica dell'Esercito Italiano1831-1981Ferruccio BottiRomaSME Ufficio Storico1991-v.24 cmIn testa al front.: Stato Maggiore dell'Esercito Ufficio Storico.1.: I servizi logistici dell'esercito piemontese : (1831-1861)2.: I servizi dalla nascita dell'esercito italiano alla prima guerra mondiale : (1861-1918)3.: Dalla guerra totale alla guerra integrale :(1919-1940)4.1: Dalla guerra integrale alla guerra nucleare (1940-1981. La logistica nella seconda guerra mondiale4.2: Dalla guerra integrale alla guerra nucleare : (1940-1981). La logistica del dopoguerra + 1 v. di illustrazioni355.621094521itaBotti,Ferruccio<1935-2008>152221ITUNINARICAUNIMARCBK990004685910403321355.621 BOT 1 (1-4)Bibl.13232-13635..FLFBCXIV B 1298opv20256FSPBCFLFBCFSPBCLogistica dell'Esercito Italiano554418UNINA01713nam 2200457 450 991071371360332120200814102239.0(CKB)5470000002504552(OCoLC)1183855053(EXLCZ)99547000000250455220200814d2019 ua 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierGroundwater/surface-water interactions along Ellerbe Creek in Durham, North Carolina, 2016-18 /by Dominick J. AntolinoReston, Virginia :U.S. Department of the Interior, U.S. Geological Survey,2019.1 online resource (viii, 32 pages) color illustrations, color mapsScientific investigations report,2328-0328 ;2019-5097"Prepared in cooperation with the City of Durham Public Works Department, Stormwater and GIS Services Division."Includes bibliographical references (pages 30-32).Groundwater flowNorth CarolinaEllerbe CreekStreamflowNorth CarolinaEllerbe CreekWater levelsNorth CarolinaEllerbe CreekHydrogeologyNorth CarolinaDurhamWater-supplyNorth CarolinaGroundwater flowStreamflowWater levelsHydrogeologyWater-supplyAntolino Dominick J.1391295Geological Survey (U.S.),Durham (N.C.).Department of Public Works.GPOGPOBOOK9910713713603321Groundwater3444957UNINA02100nam0 22004693i 450 VAN0029992020260130114128.60N978940171207120251027d1999 |0itac50 baengNL|||| |||||i e bcrCut Elimination in CategoriesKosta DošenDordrechtSpringerKluwer1999xii, 229 p.24 cm001VAN001031502001 Trends in logicstudia logica library210 Berlin [etc.]Kluwer ; [poi] Springer1997-603-XXMathematical logic and foundations [MSC 2020]VANC019750MF03F05Cut-elimination and normal-form theorems [MSC 2020]VANC024532MF03G30Categorical logic, topoi [MSC 2020]VANC024384MF18-XXCategory theory; homological algebra [MSC 2020]VANC019745MF18A15Foundations, relations to logic and deductive systems [MSC 2020]VANC029553MF18A40Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) [MSC 2020]VANC029034MFCategory TheoryKW:KCut-elimination theoremKW:KLogicKW:KProof TheoryKW:KProofsKW:KNLDordrechtVANL000068DošenKostaVANV2545521852593Kluwer <editore>VANV108116650Springer <editore>VANV108073650ITSOL20260206RICAhttps://doi.org/10.1007/978-94-017-1207-1E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00299920BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-Book 13048 08eMF13048 20251112 Cut Elimination in Categories4448325UNICAMPANIA