Logic and Foundations of Mathematics (Synthese Library)
Contributors: A. Cantini (Editor); Ettore Casari (Editor); Pierluigi Minari (Editor)
Edition: 1 edition
Publisher: Springer
Published: September 30, 1999
Language: eng
Format: Hardcover
Number of pages: 240
ISBN-13: 9780792356592
Subjects: Mathematical logic; Philosophy of science; Logic, Symbolic and mathematic; Foundations Of Mathematics; Mathematical And Symbolic Logic; Mathematics; Science/Mathematics; Logic, Symbolic and mathematical; Logic; Mathematics / Logic; Philosophy / Logic; Philosophy-Logic; Congresses; General
First sentence: This paper is part of a general research programme on the Foundations of Mathematics, Logic and Computer Science, carried out since the early eighties at the Seminar directed by Ennio De Giorgi at the Scuola Normale Superiore in Pisa.