Research Catalog
Logic and foundations of mathematics : selected contributed papers of the Tenth International Congress of Logic, Methodology, and Philosophy of Science, Florence, August 1995 / edited by Andrea Cantini, Ettore Casari, Pierluigi Minari.
- Title
- Logic and foundations of mathematics : selected contributed papers of the Tenth International Congress of Logic, Methodology, and Philosophy of Science, Florence, August 1995 / edited by Andrea Cantini, Ettore Casari, Pierluigi Minari.
- Author
- International Congress of Logic, Methodology, and Philosophy of Science (10th : 1995 : Florence, Italy)
- Publication
- Dordrecht ; Boston : Kluwer Academic, c1999.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | QA9.A1 I57 1995 | Off-site |
Details
- Additional Authors
- Description
- viii, 282 p. : ill.; 25 cm.
- Summary
- "The 10th International Congress of Logic, Methodology and Philosophy of Science, which took place in Florence in August 1995, offered a vivid and comprehensive picture of the present state of research in all directions of Logic and Philosophy of Science. The leading choice criterion for the present volume is to combine papers containing relevant technical results in pure and applied logic with papers devoted to conceptual analysis, deeply rooted in advanced present-day research." "The volume is attractive both for the logical specialist and scholars interested in critical reflections on the foundations of Logic, Mathematics and Computer Science."--Jacket.
- Series Statement
- Synthese library ; v. 280
- Uniform Title
- Synthese library ; v. 280.
- Subject
- Logic, Symbolic and mathematical > Congresses
- Genre/Form
- Conference papers and proceedings
- Bibliography (note)
- Includes bibliographical references.
- Processing Action (note)
- committed to retain
- Contents
- 1. Operations, Collections and Sets within a General Axiomatic Framework / Marco Forti, Furio Honsell and Marina Lenisa -- 2. Some Ins and Outs of Indispensability: A Modal-Structural Perspective / Geoffrey Hellman -- 3. Carnap's Remarks on Impredicative Definitions and the Genericity Theorem / Thomas Fruchart and Giuseppe Longo -- 4. Godel, Turing, and K-Graph Machines / Wilfried Sieg and John Byrnes -- 5. Linear Recurrence Relations are [Delta][subscript 0] Definable / Alessandro Berarducci and Benedetto Intrigila -- 6. On Applicative Theories / Gerhard Jager, Reinhard Kahle and Thomas Strahm -- 7. The Use of a Logical Principle of Uniform Boundedness in Analysis / Ulrich Kohlenbach.
- ISBN
- 0792356594 (hb : acid free paper)
- LCCN
- ^^^99011864^
- OCLC
- 40838613
- SCSB-11870804
- Owning Institutions
- Harvard Library