01934nam0 22004693i 450 VAN0030007620260202110726.614N978940114574920251031d1999 |0itac50 baengNL|||| |||||i e bcrLogic, Language and ReasoningEssays in Honour of Dov Gabbayedited by Hans Jürgen Ohlbach, Uwe ReyleDordrechtSpringerKluwer1999ix, 429 p.ill.24 cm001VAN001031502001 Trends in logicstudia logica library210 Berlin [etc.]Kluwer ; [poi] Springer1997-500B15Collections of articles of miscellaneous specific interest [MSC 2020]VANC023985MF03-XXMathematical logic and foundations [MSC 2020]VANC019750MFAlgorithmsKW:KComputational LinguisticsKW:KComputer ScienceKW:KComputersKW:KDatabaseKW:KFormal languagesKW:KLinguisticsKW:KLogicKW:KNLDordrechtVANL000068OhlbachHans JürgenVANV254648340ReyleUweVANV254649340Kluwer <editore>VANV108116650Springer <editore>VANV108073650ITSOL20260206RICAhttps://doi.org/10.1007/978-94-011-4574-9E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00300076BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-Book 13068 08eMF13068 20251112 Logic, Language and Reasoning4451994UNICAMPANIA