• Produktbild: Logic and Foundations of Mathematics
  • Produktbild: Logic and Foundations of Mathematics
Band 280

Logic and Foundations of Mathematics Selected Contributed Papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995

Aus der Reihe Synthese Library

Fr. 137.00

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

07.12.2010

Herausgeber

Andrea Cantini + weitere

Verlag

Springer Netherland

Seitenzahl

284

Maße (L/B/H)

23.5/15.5/1.7 cm

Gewicht

453 g

Auflage

Softcover reprint of hardcover 1st ed. 1999

Sprache

Englisch

ISBN

978-90-481-5201-8

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

07.12.2010

Herausgeber

Verlag

Springer Netherland

Seitenzahl

284

Maße (L/B/H)

23.5/15.5/1.7 cm

Gewicht

453 g

Auflage

Softcover reprint of hardcover 1st ed. 1999

Sprache

Englisch

ISBN

978-90-481-5201-8

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Logic and Foundations of Mathematics
  • Produktbild: Logic and Foundations of Mathematics
  • Preface. 1. Operations, Collections and Sets within a General Axiomatic Framework; M. Forti, et al. 2. Some Ins and Outs of Indispensability: A Modal-Structural Perspective; G. Hellman. 3. Carnap's Remarks on Impredicative Definitions and the Genericity Theorem; T. Fruchart, G. Longo. 4. Gödel, Turing, and K-Graph Machines; W. Sieg, J. Byrnes. 5. Linear Recurrence Relations are Delta0 Definable; A. Berarducci, B. Intrigila. 6. On Applicative Theories; G. Jäger, et al. 7. The Use of a Logical Principle of Uniform Boundedness in Analysis; U. Kohlenbach. 8. Epsilon-Substitution Method for the Ramified Language and Delta11-Comprehension Rule; G. Mints, S. Tupailo. 9. The Abstract Compactness Theorem Revisited; X. Caicedo. 10. On Sets Enclosed Between a Set and its Double Complement; W. Veldman. 11. Relations. Binary Relations in the Social and Mathematical Sciences; J. Lambek. 12. Basic Logic and the Cube of its Extensions; G. Battilotti, G. Sambin. 13. Some Observations on Noncommutative Substructural Logics; H. Ono. 14. On Predicate Logic as Modal Logic; D. Westerståhl. 15. A First-Order Effect and Modal Propositional Formulas; A Chagrov. 16. Herbrand's Theorem for a Modal Logic; M. Fitting. 17. Intuitionistic Modal Logic; F. Wolter, M. Zakharyaschev. 18. Dynamic Datatructures; H. Jervell. 19. Resolution and the Decision Problem; A. Leitsch. 20. Model Logic, Linear Logic, OptimalLambda-Reduction; S. Guerrini, et al.