Sara Negri: Proof Analysis | Taschenbuch

Um unseren Shop nutzen zu können, müssen Sie Javascript in Ihrem Browser aktivieren.

Cover: 9781107417236 | Proof Analysis | A Contribution to Hilbert's Last Problem | Buch

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

53,75 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Sie können kein Produkt in den Warenkorb legen, da Javascript und technisch notwendige Cookies aktiviert sein müssen.

Kategorien:

Der Artikel ist nicht in deutscher Sprache verfasst.
Die Sprache der Produktbeschreibung und Details kann in Englisch angegeben sein. Sollten Sie Verständnisprobleme haben, wenden Sie sich gerne an uns.

Beschreibung

Presents a new way of applying the methods of proof theory to axiomatic theories and systems of philosophical logic.

Über den Autor

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.

Inhaltsverzeichnis

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.

Erscheinungsjahr:	2014
Fachbereich:	Grundlagen
Genre:	Mathematik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
Seiten:	278
ISBN-13:	9781107417236
ISBN-10:	1107417236
Sprache:	Englisch
Ausstattung / Beilage:	Paperback
Einband:	Kartoniert / Broschiert
Autor:	Negri, Sara Plato, Jan Von Negri, Sara
Hersteller:	Cambridge University Press
Maße:	244 x 170 x 15 mm
Von/Mit:	Sara Negri (u. a.)
Erscheinungsdatum:	06.01.2014
Gewicht:	0,485 kg

Ähnliche Produkte