Sara Negri: Structural Proof Theory | preigu

Cover: 9780521068420 | Structural Proof Theory | Sara Negri (u. a.) | Taschenbuch | Paperback

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

57,60 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

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

A concise introduction to structural proof theory, a branch of logic studying the general structure of logical and mathematical proofs.

A concise introduction to structural proof theory, a branch of logic studying the general structure of logical and mathematical proofs.

Inhaltsverzeichnis

Introduction; 1. From natural deduction to sequent calculus; 2. Sequent calculus for institutionistic logic; 3. Sequent calculus for classical logic; 4. The quantifiers; 5. Variants of sequent calculi; 6. Structural proof analysis of axiomatic theories; 7. Intermediate logical systems; 8. Back to natural deduction; Conclusion: diversity and unity in structural proof theory; Appendix A. Simple type theory and categorical grammar; Appendix B. Proof theory and constructive type theory; Appendix C. A proof editor for sequent calculus.

Details

Erscheinungsjahr:	2008
Fachbereich:	Allgemeines
Genre:	Importe , Philosophie
Jahrhundert:	Antike
Rubrik:	Geisteswissenschaften
Thema:	Lexika
Medium:	Taschenbuch
ISBN-13:	9780521068420
ISBN-10:	0521068428
Sprache:	Englisch
Ausstattung / Beilage:	Paperback
Einband:	Kartoniert / Broschiert
Autor:	Negri, Sara Plato, Jan Von Sara, Negri
Hersteller:	Cambridge University Press
Verantwortliche Person für die EU:	Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße:	229 x 152 x 17 mm
Von/Mit:	Sara Negri (u. a.)
Erscheinungsdatum:	11.04.2008
Gewicht:	0,452 kg

Artikel-ID: 107691752

Inhaltsverzeichnis

Introduction; 1. From natural deduction to sequent calculus; 2. Sequent calculus for institutionistic logic; 3. Sequent calculus for classical logic; 4. The quantifiers; 5. Variants of sequent calculi; 6. Structural proof analysis of axiomatic theories; 7. Intermediate logical systems; 8. Back to natural deduction; Conclusion: diversity and unity in structural proof theory; Appendix A. Simple type theory and categorical grammar; Appendix B. Proof theory and constructive type theory; Appendix C. A proof editor for sequent calculus.

Details

Erscheinungsjahr:	2008
Fachbereich:	Allgemeines
Genre:	Importe , Philosophie
Jahrhundert:	Antike
Rubrik:	Geisteswissenschaften
Thema:	Lexika
Medium:	Taschenbuch
ISBN-13:	9780521068420
ISBN-10:	0521068428
Sprache:	Englisch
Ausstattung / Beilage:	Paperback
Einband:	Kartoniert / Broschiert
Autor:	Negri, Sara Plato, Jan Von Sara, Negri
Hersteller:	Cambridge University Press
Verantwortliche Person für die EU:	Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße:	229 x 152 x 17 mm
Von/Mit:	Sara Negri (u. a.)
Erscheinungsdatum:	11.04.2008
Gewicht:	0,452 kg

Artikel-ID: 107691752

Sicherheitshinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch

Cover: 9780674571761 | Methods of Logic | Fourth Edition | Willard Van Orman Quine | Buch

Methods of Logic

EAN: 9780674571761

Sprache: Englisch

Von/Mit: Willard van Orman Quine

44,85 €*

Lieferzeit 1-2 Wochen

Buch

Cover: 9780817643621 | Advances in Dynamic Games | Krzysztof Szajowski (u. a.) | Buch | xv

Advances in Dynamic Games

Applications to Economics, Finance, Optimization, and Stochastic Control

EAN: 9780817643621

Sprache: Englisch

Von/Mit: Krzysztof Szajowski (u. a.)

178,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9780743254236 | Calculated Risks | How to Know When Numbers Deceive You | Gigerenzer

Calculated Risks

How to Know When Numbers Deceive You

EAN: 9780743254236

Sprache: Englisch

Von/Mit: Gerd Gigerenzer

26,80 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9780141003146 | Logic | Wilfrid Hodges | Taschenbuch | Kartoniert / Broschiert | 2001

EAN: 9780141003146

Sprache: Englisch

Von/Mit: Wilfrid Hodges

18,30 €*

Lieferzeit 1-2 Wochen

Buch

Cover: 9783642166099 | Elektromagnetische Verträglichkeit | Wolfgang Kürner (u. a.) | Buch

Elektromagnetische Verträglichkeit

EAN: 9783642166099

Sprache: Deutsch

Von/Mit: Wolfgang Kürner (u. a.)

149,99 €*

Lieferzeit 1-2 Werktage

Taschenbuch

Cover: 9783943334081 | Der Begriff des Widerspruchs | Michael Wolff | Taschenbuch | 282 S.

Der Begriff des Widerspruchs

Eine Studie zur Dialektik Kants und Hegels

EAN: 9783943334081

Sprache: Deutsch

Von/Mit: Michael Wolff

25,00 €*

Lieferzeit 1-2 Wochen

Buch

Cover: 9783030403430 | Linear Algebra and Optimization for Machine Learning | A Textbook

Linear Algebra and Optimization for Machine Learning

EAN: 9783030403430

Sprache: Englisch

Von/Mit: Charu C. Aggarwal

73,75 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9783658312015 | Big Data und Data Science in der strategischen Beschaffung | Zeisel

Big Data und Data Science in der strategischen Beschaffung

Grundlagen - Voraussetzungen - Anwendungschancen

EAN: 9783658312015

Sprache: Deutsch

Von/Mit: Stefan Zeisel

14,99 €*

Lieferzeit 2-4 Werktage

Taschenbuch

Cover: 9780415285902 | Unended Quest | An Intellectual Autobiography | Karl Popper | Buch

An Intellectual Autobiography

EAN: 9780415285902

Sprache: Englisch

Von/Mit: Karl Popper

24,35 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9781498758819 | Simple Statistical Tests for Geography | Danny Mccarroll | Taschenbuch

Simple Statistical Tests for Geography

EAN: 9781498758819

Sprache: Englisch

Von/Mit: Danny Mccarroll

49,40 €*

Lieferzeit 1-2 Wochen

Bundle

Cover: 9783662670255 | Sportinformatik | Daniel Memmert | Bundle | 1 Taschenbuch | Deutsch

Sportinformatik

Modellbildung, Simulation, Datenanalyse und Visualisierung von sportbezogenen Daten

EAN: 9783662670255

Sprache: Deutsch

Von/Mit: Daniel Memmert

44,99 €*

Lieferzeit 1-2 Werktage