01272nem0-2200397---450 99000961639040332120170525140606.0000961639FED01000961639(Aleph)000961639FED0100096163920120905f---0---9km-y0itay50------baitaITa--------bl--aa-aa----a1:50000e0014500e0020000n0415000n0414000ad--------AgnoneDocumento cartograficoIstituto Geografico militare1:50000 (E1°45'-E2°/N41°50'-N41°40')FirenzeIstituto Geografico militares. d.1 carta42 x 37 cm su foglio 58 x 52 cmCarta d'Italia153, IIRilievo del 1875, ricognizioni parziali del 1919, norme del 1935Il meridiano di riferimento è Monte Mario, RomaFoglio 153, quadrante 2CarovilliMoliseCarteIstituto geografico militare5005ITUNINARICAUNIMARCMP990009616390403321MP Cass.2 50 (153)2 AIst. 3653ILFGEILFGEAgnone767837UNINA01166nam2 22002653i 450 VAN027641620240530101249.2020240530d1929 |0itac50 baitaIT|||| |||||1: A - LMilanoSocietà Editrice Libraria1929VII874 p.25 cm001VAN02764122001 Dizionario delle scienze pedagogicheopera di consultazione pratica con un indice sistematicoDirettoreMarchesini Giovanni ; collaboratoriAliotta Antonioet al.]210 MilanoSocietà Editrice Libraria1929215 volumi25 cm1MilanoVANL000284AliottaAntonioVANV066521MarchesiniGiovanniVANV146311340Società editrice librariaeditoreVANV110432650ITSOL20240614RICABIBLIOTECA DEL DIPARTIMENTO DI PSICOLOGIAIT-CE0119VAN16VAN0276416BIBLIOTECA DEL DIPARTIMENTO DI PSICOLOGIA16CONS 4633 16OM 477 20240530 RovinatoA-L1401300UNICAMPANIA02166nam0 22004573i 450 VAN0024897320240806101416.649N978303056554120220804d2020 |0itac50 baengCH|||| |||||Decidability of Logical Theories and Their CombinationJoão Rasga, Cristina SernadasChamBirkhäuserSpringer2020xiii, 178 p.ill.24 cm001VAN001039512001 Studies in Universal Logic210 Basel [etc.]Birkhäuser2008-VAN00248975Decidability of Logical Theories and Their Combination290246203-XXMathematical logic and foundations [MSC 2020]VANC019750MF03B10Classical first-order logic [MSC 2020]VANC024530MF03B25Decidability of theories and sets of sentences [MSC 2020]VANC024400MFCombination of first-order logical theoriesKW:KCraig interpolationKW:KDecidability of first-order logical theoriesKW:KFirst-order logical theoriesKW:KGentzen CalculusKW:KGentzen calculus for first-order logicKW:KQuantifier eliminationKW:KQuantifier elimination first-order logicKW:KCHChamVANL001889RasgaJoãoVANV203767845263SernadasCristinaVANV2037681252008Birkhäuser <editore>VANV108193650Springer <editore>VANV108073650ITSOL20241115RICAhttp://doi.org/10.1007/978-3-030-56554-1E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00248973BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-book 4614 08eMF4614 20220804 Decidability of Logical Theories and Their Combination2902462UNICAMPANIA