02271nam0 22005053i 450 VAN0030007520251031093705.885N978940172109720251031d1999 |0itac50 baengNL|||| |||||i e bcrLogic and foundations of mathematicsselected contributed papers of the Tenth International Congress of Logic, Methodology, and Philosophy of Science, Florence, August 1995edited by Andrea Cantini, Ettore Casari, Pierluigi MinariDordrechtSpringerKluwer1999VIII, 282 p.ill.25 cm001VAN000142312001 Synthese library210 DordrechtReidel1959-300 L'editore varia in: Kluwer ; [poi] Springer28000A30Philosophy of mathematics [MSC 2020]VANC020829MF03-XXMathematical logic and foundations [MSC 2020]VANC019750MFCompactness theoremKW:KLogicKW:KModal LogicKW:KModel theoryKW:KPhilosophy of ScienceKW:KPredicate logicKW:KProof TheoryKW:KScienceKW:KSet TheoryKW:KNLDordrechtVANL000068CantiniAndreaVANV047029340CasariEttoreVANV022152340MinariPierluigiVANV047032340International Congress of Logic, Methodology and Philosophy of Science10th : 1995 : Florence, ItalyVANV047028725789Kluwer <editore>VANV108116650Springer <editore>VANV108073650ITSOL20251114RICAhttps://doi.org/10.1007/978-94-017-2109-7E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00300075BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-Book 13067 08eMF13067 20251112 Logic and foundations of mathematics1425452UNICAMPANIA