01732nam2 2200313 i 450 VAN006389720221104025034.53788-207-3629-220080411d2005 |0itac50 baitaIT|||| |||||ˆ1: ‰Genetica generaleGianni Barcaccia e Mario FalcinelliNapoliLiguori2005XIV, 313 p.ill.26 cm001VAN00638982001 Genetica e genomicaGianni Barcaccia e Mario Falcinelli210 NapoliLiguori215 volumi26 cm1NapoliVANL000005576.5Genetica22BarcacciaGianniVANV050815296455FalcinelliMarioVANV05081670970Liguori <editore>VANV107934650ITSOL20230616RICAVAN0063897BIBLIOTECA DEL DIPARTIMENTO DI SCIENZE E TECNOLOGIE AMBIENTALI BIOLOGICHE E FARMACEUTICHE17CONS Ga104 17BIB1052 20081113 BuonoBIBLIOTECA DEL DIPARTIMENTO DI SCIENZE E TECNOLOGIE AMBIENTALI BIOLOGICHE E FARMACEUTICHE17PREST Ga107 17BIB1193 20080411 BIBLIOTECA DEL DIPARTIMENTO DI SCIENZE E TECNOLOGIE AMBIENTALI BIOLOGICHE E FARMACEUTICHE17PREST Ga108 17BIB1194 20080411 BuonoBIBLIOTECA DEL DIPARTIMENTO DI SCIENZE E TECNOLOGIE AMBIENTALI BIOLOGICHE E FARMACEUTICHE17PREST Ga109 17BIB1192 20080411 SottolineatoGenetica generale1383568UNICAMPANIA02239nam0 22005173i 450 VAN0029838720251031112627.462N978940171280420250917d1998 |0itac50 baengNL|||| |||||i e bcrDisplaying Modal LogicHeinrich WansingDordrechtSpringerKluwer1998xi, 252 p.24 cm001VAN001031502001 Trends in logicstudia logica library210 Berlin [etc.]Kluwer ; [poi] Springer1997-303-XXMathematical logic and foundations [MSC 2020]VANC019750MF03B44Temporal logic [MSC 2020]VANC036695MF03B45Modal logic (including the logic of norms) [MSC 2020]VANC024404MF03B47Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) [MSC 2020]VANC037932MF03B53Paraconsistent logics [MSC 2020]VANC033813MF03F03Proof theory, general (including proof-theoretic semantics) [MSC 2020]VANC023705MFCut-elimination theoremKW:KExtensionsKW:KLogicKW:KModal LogicKW:KNonmonotonic reasoningKW:KPredicate logicKW:KProofsKW:KSemanticsKW:KSequent CalculusKW:KNLDordrechtVANL000068WansingHeinrichVANV080727714563Kluwer <editore>VANV108116650Springer <editore>VANV108073650ITSOL20251107RICAhttps://doi.org/10.1007/978-94-017-1280-4E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00298387BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-Book 12743 08eMF12743 20251024 Displaying Modal Logic4435267UNICAMPANIA