Zur Startseite gehen
0,00 €*
Cover: 9781107417236 | Proof Analysis | A Contribution to Hilbert's Last Problem | Buch
Dekorationsartikel gehören nicht zum Leistungsumfang.
Proof Analysis
A Contribution to Hilbert's Last Problem
Taschenbuch von Sara Negri (u. a.)
Sprache: Englisch

52,10 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:
Beschreibung
Presents a new way of applying the methods of proof theory to axiomatic theories and systems of philosophical logic.
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.
Details
Erscheinungsjahr: 2014
Fachbereich: Grundlagen
Genre: Mathematik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Inhalt: Kartoniert / Broschiert
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
Artikel-ID: 105266666
Ü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.
Details
Erscheinungsjahr: 2014
Fachbereich: Grundlagen
Genre: Mathematik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Inhalt: Kartoniert / Broschiert
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
Artikel-ID: 105266666
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch
Cover: 9783835102170 | Stochastische Simulation | Grundlagen, Algorithmen und Anwendungen
Stochastische Simulation
Grundlagen, Algorithmen und Anwendungen
EAN: 9783835102170
Sprache: Deutsch
Von/Mit: Michael Kolonko

32,99 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9783836491488 | Optimierung einer Klima- u. Lüftungsanlage mittels Frequenzumrichter
Optimierung einer Klima- u. Lüftungsanlage mittels Frequenzumrichter
Grundlagen, Berechnungen und Ergebnisse
EAN: 9783836491488
Sprache: Deutsch
Von/Mit: Stefan Huppmann

49,00 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9789814725774 | Discrete Fourier and Wavelet Transforms | WSPC | EAN 9789814725774
DISCRETE FOURIER AND WAVELET TRANSFORMS
EAN: 9789814725774
Sprache: Englisch
Von/Mit: Roe W Goodman

53,30 €*

Aktuell nicht verfügbar

Buch
Cover: 9783642542640 | Set-valued Optimization | An Introduction with Applications | Buch
Set-valued Optimization
An Introduction with Applications
EAN: 9783642542640
Sprache: Englisch
Von/Mit: Akhtar A. Khan (u. a.)

106,99 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9783642984716 | Wundkompensation Transplantation und Chimären bei Pflanzen | Buch
Wundkompensation Transplantation und Chimären bei Pflanzen
EAN: 9783642984716
Sprache: Deutsch
Von/Mit: N. Busch (u. a.)

59,99 €*

Lieferzeit 2-4 Werktage

Taschenbuch
Cover: 9783834825483 | Förderung der Zahlbegriffsentwicklung bei sehenden und blinden Kindern
Förderung der Zahlbegriffsentwicklung bei sehenden und blinden Kindern
Empirische Grundlagen und didaktische Konzepte
EAN: 9783834825483
Sprache: Deutsch
Von/Mit: Juliane Leuders

84,99 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9781597181372 | Multilevel and Longitudinal Modeling Using Stata, Volume I | Buch
Multilevel and Longitudinal Modeling Using Stata, Volume I
Continuous Responses
EAN: 9781597181372
Sprache: Englisch
Von/Mit: Anders Skrondal (u. a.)

100,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9780367680633 | Javascript for R | John Coene | Taschenbuch | Englisch | 2021
Javascript for R
EAN: 9780367680633
Sprache: Englisch
Von/Mit: John Coene

61,75 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9781806305995 | Quantum Physics for Beginners | Debra Wilson | Taschenbuch | Paperback
Quantum Physics for Beginners
Easy & Complete Guide to Knowing the Fundamentals of Quantum Physics
EAN: 9781806305995
Sprache: Englisch
Von/Mit: Debra Wilson

48,50 €*

Aktuell nicht verfügbar

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...