01451nam0 2200313 i 450 VAN002968920240202102702.383978-01-985386-2-220041206d1996 |0itac50 baengUS|||| |||||Logicfrom foundations to applicationseuropean logic colloquiumedited by Wilfrid Hodges ... [et al.]New YorkClarendonOxford1996XIII, 536 p.ill.24 cm001VAN00236972001 Oxford science publications210 Oxford [etc.]Oxford university03-XXMathematical logic and foundations [MSC 2020]VANC019750MFUSNew YorkVANL000011HodgesWilfridVANV024631Clarendon <editore>VANV107988650Oxford university <editore>VANV107944650ITSOL20240209RICABIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZAIT-CE0105VAN00BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN0029689BIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA00CONS XXI.G.12 00 798444912 20041206 BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 1927 08 3848 III 20080304 Logic343669UNICAMPANIA