02181nam0 2200481 i 450 VAN0005938720251031093456.61307-923565-9-420070522d1999 |0itac50 baengNL|||| 1||||i e nncLogic 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 MinariDordrechtKluwer Academic1999VIII, 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>VANV108116650ITSOL20251107RICA/sebina/repository/catalogazione/documenti/Cantini, Casari, Minari - Logic and Foundations of Mathematics.pdfContentsBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN00059387BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 0697 08 7730 I 20070522 Logic and foundations of mathematics1425452UNICAMPANIA