01921nam0 22004693i 450 VAN0029755320251007110553.420N978940158879920250827d1997 |0itac50 baengNL|||| |||||i e bcrAdvances in Intensional Logicedied by Maarten de RijkeDordrechtSpringerKluwer1997xiv, 291 p.24 cm001VAN002963312001 Applied Logic Series210 DordrechtKluwer1996700B15Collections of articles of miscellaneous specific interest [MSC 2020]VANC023985MF03-XXMathematical logic and foundations [MSC 2020]VANC019750MF03B45Modal logic (including the logic of norms) [MSC 2020]VANC024404MF03B80Other applications of logic [MSC 2020]VANC031181MFArtificial IntelligenceKW:KIntelligenceKW:KLinguisticsKW:KLogicKW:KModal LogicKW:KProof TheoryKW:KSyntaxKW:KNLDordrechtVANL000068De RijkeMaartenVANV041042340Kluwer <editore>VANV108116650Springer <editore>VANV108073650ITSOL20251010RICAhttps://doi.org/10.1007/978-94-015-8879-9E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00297553BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-Book 12422 08eMF12422 20250929 Advances in Intensional Logic4423646UNICAMPANIA