Verlag: Center for the Study of Language, 2006
ISBN 10: 1575865165 ISBN 13: 9781575865164
Sprache: Englisch
Anbieter: Books From California, Simi Valley, CA, USA
paperback. Zustand: Very Good. Cover and edges may have some wear. Previous owner's inscription on first page. Some highlighiting/notes/underlining inside.
Verlag: Wiley & Sons, Incorporated, John, 2012
ISBN 10: 1118346319 ISBN 13: 9781118346310
Sprache: Englisch
Anbieter: Better World Books: West, Reno, NV, USA
Zustand: Good. Used book that is in clean, average condition without any missing pages.
Anbieter: WorldofBooks, Goring-By-Sea, WS, Vereinigtes Königreich
EUR 27,06
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
Verlag: Kluwer Academic Publishers (Synthese Library: Studies in Epistemology, Logic, Methodology, and Philosophy of Science) 1st edn, 2003
ISBN 10: 1402017472 ISBN 13: 9781402017476
Sprache: Englisch
Anbieter: G. & J. CHESTERS, TAMWORTH, Vereinigtes Königreich
Erstausgabe
EUR 27,21
Anzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Fine. Dust Jacket Included. 1st Edition. 204p, a Fine (As New) hardback in a like dustwrapper [1402017472].
Verlag: Center for the Study of Language & Information, 2006
ISBN 10: 1575865165 ISBN 13: 9781575865164
Sprache: Englisch
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 33,47
Anzahl: 3 verfügbar
In den WarenkorbZustand: New. pp. 200.
Verlag: Stanford Univ Center for the Study, 2006
ISBN 10: 1575865165 ISBN 13: 9781575865164
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 29,78
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 190 pages. 8.75x5.75x0.50 inches. In Stock.
Verlag: Centre for the Study of Language & Information, 2006
ISBN 10: 1575865165 ISBN 13: 9781575865164
Sprache: Englisch
Anbieter: Kennys Bookstore, Olney, MD, USA
EUR 33,10
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. Num Pages: 196 pages, Illustrations. BIC Classification: HP. Category: (P) Professional & Vocational. Dimension: 231 x 161 x 15. Weight in Grams: 302. . 2008. New ed. Paperback. . . . . Books ship from the US and Ireland.
Verlag: Malden/Oxford/Chichester, Wiley-Blackwell 2013, 2012
ISBN 10: 1118346319 ISBN 13: 9781118346310
Sprache: Englisch
Anbieter: Antiquariaat Schot, Hendrik-Ido-Ambacht, Niederlande
(XV) 571 p. Paperback (Spine of the binding slightly discoloured, otherwise a fine copy.).
Verlag: Kluwer Academic Publishers, Dordrecht, 2003
ISBN 10: 1402017472 ISBN 13: 9781402017476
Sprache: Englisch
Anbieter: Green Ink Booksellers, Hay-on-Wye, POWYS, Vereinigtes Königreich
EUR 47,03
Anzahl: 1 verfügbar
In den WarenkorbHardback. Zustand: Fine. Zustand des Schutzumschlags: Very Good. - Dustwrapper is a little rubbed and faded w/ several small marks and a small scuff and chip to bottom edge of front - Book ow/ solid, clean and bright - ix/203 pages.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 53,79
Anzahl: 3 verfügbar
In den WarenkorbZustand: New. pp. xv + 571.
Zustand: NEW.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 50,17
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. Spanish language. 8.35x5.91x0.87 inches. In Stock.
Verlag: Centre for the Study of Language & Information, 2006
ISBN 10: 1575865165 ISBN 13: 9781575865164
Sprache: Englisch
Anbieter: Antiquariat Bernhardt, Kassel, Deutschland
Broschiert. Zustand: Sehr gut. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. V, 190 Seiten, Englisch 308g.
Verlag: Centre for the Study of Language & Information, 2008
ISBN 10: 1575865165 ISBN 13: 9781575865164
Sprache: Englisch
Anbieter: moluna, Greven, Deutschland
Zustand: New. Über den AutorThomas Bolander is assistant professor of logic and computer science at the Technical Univerity of Denmark. Vincent F. Hendricks is professor of epistemology, logic, and methodology, and Stig Andur Pedersen is profess.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 82,22
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 1st edition. 592 pages. 9.50x6.50x1.00 inches. In Stock.
paperback. Zustand: New.
Anbieter: medimops, Berlin, Deutschland
Zustand: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
EUR 92,27
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
EUR 92,27
Anzahl: Mehr als 20 verfügbar
In den WarenkorbGebunden. Zustand: New.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 151,11
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 198 pages. 9.00x0.48x6.00 inches. In Stock.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 152,05
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 256 pages. 9.00x6.00x0.62 inches. In Stock.
EUR 114,28
Anzahl: Mehr als 20 verfügbar
In den WarenkorbGebunden. Zustand: New. Tracks the history of epistemic logicConsiders some important applications of these logics of knowledge and belief in a variety of fields Discusses future directions of research with particular emphasis on active agenthood and multi-modal syste.
Zustand: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.
Taschenbuch. Zustand: Neu. Proof Theory | History and Philosophical Significance | Vincent F. Hendricks (u. a.) | Taschenbuch | xii | Englisch | 2010 | Springer Netherland | EAN 9789048155538 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Probability Theory | Philosophy, Recent History and Relations to Science | Vincent F. Hendricks (u. a.) | Taschenbuch | xiii | Englisch | 2010 | Springer | EAN 9789048156979 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Verlag: Springer Netherlands, Springer Netherlands Sep 2000, 2000
ISBN 10: 0792365445 ISBN 13: 9780792365440
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Buch. Zustand: Neu. Neuware -hiS volume in the Synthese Library Series is the result of a conference T held at the University of Roskilde, Denmark, October 31st-November 1st, 1997. The aim was to provide a forum within which philosophers, math ematicians, logicians and historians of mathematics could exchange ideas pertaining to the historical and philosophical development of proof theory. Hence the conference was called Proof Theory: History and Philosophical Significance. To quote from the conference abstract: Proof theory was developed as part of Hilberts Programme. According to Hilberts Programme one could provide mathematics with a firm and se cure foundation by formalizing all of mathematics and subsequently prove consistency of these formal systems by finitistic means. Hence proof theory was developed as a formal tool through which this goal should be fulfilled. It is well known that Hilbert's Programme in its original form was unfeasible mainly due to Gtldel's incompleteness theorems. Additionally it proved impossible to formalize all of mathematics and impossible to even prove the consistency of relatively simple formalized fragments of mathematics by finitistic methods. In spite of these problems, Gentzen showed that by extending Hilbert's proof theory it would be possible to prove the consistency of interesting formal systems, perhaps not by finitis tic methods but still by methods of minimal strength. This generalization of Hilbert's original programme has fueled modern proof theory which is a rich part of mathematical logic with many significant implications for the philosophy of mathematics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 276 pp. Englisch.
Verlag: Springer Netherlands, Springer Netherlands, 2010
ISBN 10: 9048155533 ISBN 13: 9789048155538
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - hiS volume in the Synthese Library Series is the result of a conference T held at the University of Roskilde, Denmark, October 31st-November 1st, 1997. The aim was to provide a forum within which philosophers, math ematicians, logicians and historians of mathematics could exchange ideas pertaining to the historical and philosophical development of proof theory. Hence the conference was called Proof Theory: History and Philosophical Significance. To quote from the conference abstract: Proof theory was developed as part of Hilberts Programme. According to Hilberts Programme one could provide mathematics with a firm and se cure foundation by formalizing all of mathematics and subsequently prove consistency of these formal systems by finitistic means. Hence proof theory was developed as a formal tool through which this goal should be fulfilled. It is well known that Hilbert's Programme in its original form was unfeasible mainly due to Gtldel's incompleteness theorems. Additionally it proved impossible to formalize all of mathematics and impossible to even prove the consistency of relatively simple formalized fragments of mathematics by finitistic methods. In spite of these problems, Gentzen showed that by extending Hilbert's proof theory it would be possible to prove the consistency of interesting formal systems, perhaps not by finitis tic methods but still by methods of minimal strength. This generalization of Hilbert's original programme has fueled modern proof theory which is a rich part of mathematical logic with many significant implications for the philosophy of mathematics.
Verlag: Springer Netherlands, Springer Netherlands, 2010
ISBN 10: 9048156971 ISBN 13: 9789048156979
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume in the Synthese Library Series is the result of a con ference held at the Roskilde University, Denmark, September 16- 18, 1998. The purpose of this meeting was to shed light on some of the recent issues in probability theory and track their history; to analyze their philosophical and mathematical significance, and to analyze the role of mathematical probability theory in other sciences. Hence the conference was called Probability Theory Philosophy! Recent History and Relations to Science. The editors would like to thank the invited speakers includ ing in alphabetical order Prof. N.H. Bingham (BruneI Univer sity), Prof. Berna KIlmc; (Bogazici University), Prof. Eberhard Knoblock (Techniche Universitat Berlin), Prof. J.B. Paris (Uni versity of Manchester), Prof. T. Seidenfeld (Carnegie Mellon University), Prof. Glenn Shafer (Rutgers University) and Prof. Volodya Vovk (University of London) for contributing, in the most lucid and encouraging way, to the fulfillment of the con ference aim. The editors are also grateful to the invited speakers for making their contributions available for publication. The conference was organized by the Danish Network on the History and Philosophy of Mathematics The editors would like to thank the network's organizing com mittee consisting of Prof. Kirsti Andersen (University of Aarhus), Prof. Jesper Liitzen (University of Copenhagen), Dr. Tinne Hoff Kjeldsen (Roskilde University) and the committee's secretaries Lise Mariane Jeppesen and Jesper Thrane (Roskilde University).
Verlag: Springer Netherlands, Springer Netherlands, 2003
ISBN 10: 1402017472 ISBN 13: 9781402017476
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The aim of this thematically unified anthology is to track the history of epistemic logic, to consider some important applications of these logics of knowledge and belief in a variety of fields, and finally to discuss future directions of research with particular emphasis on 'active agenthood' and multi-modal systems. It is accessible to researchers and graduate students in philosophy, computer science, game theory, economics and related disciplines utilizing the means and methods of epistemic logic.
Verlag: Springer Netherlands, Springer Netherlands, 2000
ISBN 10: 0792365445 ISBN 13: 9780792365440
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - hiS volume in the Synthese Library Series is the result of a conference T held at the University of Roskilde, Denmark, October 31st-November 1st, 1997. The aim was to provide a forum within which philosophers, math ematicians, logicians and historians of mathematics could exchange ideas pertaining to the historical and philosophical development of proof theory. Hence the conference was called Proof Theory: History and Philosophical Significance. To quote from the conference abstract: Proof theory was developed as part of Hilberts Programme. According to Hilberts Programme one could provide mathematics with a firm and se cure foundation by formalizing all of mathematics and subsequently prove consistency of these formal systems by finitistic means. Hence proof theory was developed as a formal tool through which this goal should be fulfilled. It is well known that Hilbert's Programme in its original form was unfeasible mainly due to Gtldel's incompleteness theorems. Additionally it proved impossible to formalize all of mathematics and impossible to even prove the consistency of relatively simple formalized fragments of mathematics by finitistic methods. In spite of these problems, Gentzen showed that by extending Hilbert's proof theory it would be possible to prove the consistency of interesting formal systems, perhaps not by finitis tic methods but still by methods of minimal strength. This generalization of Hilbert's original programme has fueled modern proof theory which is a rich part of mathematical logic with many significant implications for the philosophy of mathematics.