42,15 €*
Versandkostenfrei per Post / DHL
Lieferzeit 1-2 Wochen
Sergio Galvan is emeritus Professor of Logic at the Catholic University of Milan, Italy. His main areas of research are proof-theory and philosophical logic. In the first area he focuses on sequent calculi and natural deduction, the metamathematics of arithmetic systems (from Q to PA), Gödel's incompleteness theorems, and Gentzen's cut-elimination theorem. In the second area, his major interest is in the philosophical interpretations (deontic, epistemic and metaphysical) of modal logic. Recently, he has been working on the relationships between formal proof and intuition in mathematics, and on the metaphysics of essence and the ontology of possibilia.
Richard Zach is Professor of Philosophy at the University of Calgary, Canada. He works in logic, history of analytic philosophy, and the philosophy of mathematics. In logic, his main interests are non-classical logics and proof theory. He has also written on the development of formal logic and historical figures associated with this development such as Hilbert, Gödel, and Carnap. He has held visiting appointments at the University of California, Irvine, McGill University, and the University of Technology, Vienna.
- Preface
- 1 Introduction
- 2 Axiomatic calculi
- 3 Natural deduction
- 4 Normal deductions
- 5 The sequent calculus
- 6 The cut-elimination theorem
- 7 The consistency of arithmetic
- 8 Constructive ordinals and induction
- 9 The consistency of arithmetic, continued
- Appendices:
- A The Greek alphabet
- B Set-theoretic notation
- C Axioms, rules, and theorems of axiomatic calculi
- D Exercises on axiomatic derivations
- E Natural deduction
- F Sequent calculus
- G Outline of the cut elimination theorem
| Erscheinungsjahr: | 2021 |
|---|---|
| Fachbereich: | Allgemeines |
| Genre: | Philosophie |
| Jahrhundert: | Antike |
| Rubrik: | Geisteswissenschaften |
| Thema: | Lexika |
| Medium: | Taschenbuch |
| Seiten: | 432 |
| Inhalt: | Kartoniert / Broschiert |
| ISBN-13: | 9780192895943 |
| ISBN-10: | 019289594X |
| Sprache: | Englisch |
| Einband: | Kartoniert / Broschiert |
| Autor: |
Mancosu, Paolo
Zach, Richard Galvan, Sergio |
| Hersteller: | Oxford University Press |
| Maße: | 231 x 155 x 24 mm |
| Von/Mit: | Paolo Mancosu (u. a.) |
| Erscheinungsdatum: | 17.08.2021 |
| Gewicht: | 0,658 kg |
Sergio Galvan is emeritus Professor of Logic at the Catholic University of Milan, Italy. His main areas of research are proof-theory and philosophical logic. In the first area he focuses on sequent calculi and natural deduction, the metamathematics of arithmetic systems (from Q to PA), Gödel's incompleteness theorems, and Gentzen's cut-elimination theorem. In the second area, his major interest is in the philosophical interpretations (deontic, epistemic and metaphysical) of modal logic. Recently, he has been working on the relationships between formal proof and intuition in mathematics, and on the metaphysics of essence and the ontology of possibilia.
Richard Zach is Professor of Philosophy at the University of Calgary, Canada. He works in logic, history of analytic philosophy, and the philosophy of mathematics. In logic, his main interests are non-classical logics and proof theory. He has also written on the development of formal logic and historical figures associated with this development such as Hilbert, Gödel, and Carnap. He has held visiting appointments at the University of California, Irvine, McGill University, and the University of Technology, Vienna.
- Preface
- 1 Introduction
- 2 Axiomatic calculi
- 3 Natural deduction
- 4 Normal deductions
- 5 The sequent calculus
- 6 The cut-elimination theorem
- 7 The consistency of arithmetic
- 8 Constructive ordinals and induction
- 9 The consistency of arithmetic, continued
- Appendices:
- A The Greek alphabet
- B Set-theoretic notation
- C Axioms, rules, and theorems of axiomatic calculi
- D Exercises on axiomatic derivations
- E Natural deduction
- F Sequent calculus
- G Outline of the cut elimination theorem
| Erscheinungsjahr: | 2021 |
|---|---|
| Fachbereich: | Allgemeines |
| Genre: | Philosophie |
| Jahrhundert: | Antike |
| Rubrik: | Geisteswissenschaften |
| Thema: | Lexika |
| Medium: | Taschenbuch |
| Seiten: | 432 |
| Inhalt: | Kartoniert / Broschiert |
| ISBN-13: | 9780192895943 |
| ISBN-10: | 019289594X |
| Sprache: | Englisch |
| Einband: | Kartoniert / Broschiert |
| Autor: |
Mancosu, Paolo
Zach, Richard Galvan, Sergio |
| Hersteller: | Oxford University Press |
| Maße: | 231 x 155 x 24 mm |
| Von/Mit: | Paolo Mancosu (u. a.) |
| Erscheinungsdatum: | 17.08.2021 |
| Gewicht: | 0,658 kg |
Ähnliche Produkte
Lieferzeit 1-2 Wochen
Lieferzeit 1-2 Werktage
Lieferzeit 1-2 Werktage
Lieferzeit 2-3 Wochen
Lieferzeit 1-2 Werktage
Lieferzeit 1-2 Wochen
Lieferzeit 4-7 Werktage
Lieferzeit 4-7 Werktage
Lieferzeit 1-2 Werktage