Sara Negri is Docent of Logic at the University of Helsinki. She is the author of Structural Proof Theory (Cambridge University Press, 2001, with Jan von Plato) and she has also written several research papers on mathematical and philosophical logic.
Inhaltsangabe
Prologue: Hilbert's Last Problem 1. Introduction Part I. Proof Systems Based on Natural Deduction: 2. Rules of proof: natural deduction 3. Axiomatic systems 4. Order and lattice theory 5. Theories with existence axioms Part II. Proof Systems Based on Sequent Calculus: 6. Rules of proof: sequent calculus 7. Linear order Part III. Proof Systems for Geometric Theories: 8. Geometric theories 9. Classical and intuitionistic axiomatics 10. Proof analysis in elementary geometry Part IV. Proof Systems for Nonclassical Logics: 11. Modal logic 12. Quantified modal logic, provability logic, and so on Bibliography Index of names Index of subjects.
Prologue: Hilbert's Last Problem 1. Introduction Part I. Proof Systems Based on Natural Deduction: 2. Rules of proof: natural deduction 3. Axiomatic systems 4. Order and lattice theory 5. Theories with existence axioms Part II. Proof Systems Based on Sequent Calculus: 6. Rules of proof: sequent calculus 7. Linear order Part III. Proof Systems for Geometric Theories: 8. Geometric theories 9. Classical and intuitionistic axiomatics 10. Proof analysis in elementary geometry Part IV. Proof Systems for Nonclassical Logics: 11. Modal logic 12. Quantified modal logic, provability logic, and so on Bibliography Index of names Index of subjects.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Shop der buecher.de GmbH & Co. KG Bürgermeister-Wegele-Str. 12, 86167 Augsburg Amtsgericht Augsburg HRA 13309
