Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008231519/catalog> ?p ?o. }
Showing items 1 to 26 of
26
with 100 items per page.
- catalog abstract ""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.".
- catalog contributor b11450364.
- catalog contributor b11450365.
- catalog contributor b11450366.
- catalog contributor b11450367.
- catalog created "c1999.".
- catalog date "1999".
- catalog date "c1999.".
- catalog dateCopyrighted "c1999.".
- catalog description ""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.".
- catalog description "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.".
- catalog description "Includes bibliographical references.".
- catalog extent "viii, 282 p. :".
- catalog identifier "0792356594 (hb : acid free paper)".
- catalog isPartOf "Synthese library ; v. 280".
- catalog issued "1999".
- catalog issued "c1999.".
- catalog language "eng".
- catalog publisher "Dordrecht ; Boston : Kluwer Academic,".
- catalog subject "511.3 21".
- catalog subject "Logic, Symbolic and mathematical Congresses.".
- catalog subject "QA9.A1 I57 1995".
- catalog tableOfContents "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.".
- catalog 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.".
- catalog type "Conference proceedings. fast".
- catalog type "text".