Negri Sara: Structural Proof Theory | preigu

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

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

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

53,95 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 4-7 Werktage

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

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:	Philosophie
Jahrhundert:	Antike
Rubrik:	Geisteswissenschaften
Thema:	Lexika
Medium:	Taschenbuch
Seiten:	276
ISBN-13:	9780521068420
ISBN-10:	0521068428
Sprache:	Englisch
Ausstattung / Beilage:	Paperback
Einband:	Kartoniert / Broschiert
Autor:	Sara, Negri
Hersteller:	Cambridge University Press
Maße:	229 x 152 x 17 mm
Von/Mit:	Negri Sara
Erscheinungsdatum:	11.04.2008
Gewicht:	0,452 kg

preigu-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:	Philosophie
Jahrhundert:	Antike
Rubrik:	Geisteswissenschaften
Thema:	Lexika
Medium:	Taschenbuch
Seiten:	276
ISBN-13:	9780521068420
ISBN-10:	0521068428
Sprache:	Englisch
Ausstattung / Beilage:	Paperback
Einband:	Kartoniert / Broschiert
Autor:	Sara, Negri
Hersteller:	Cambridge University Press
Maße:	229 x 152 x 17 mm
Von/Mit:	Negri Sara
Erscheinungsdatum:	11.04.2008
Gewicht:	0,452 kg

preigu-id: 107691752

Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Buch

Cover: 9780387922997 | A First Course in Bayesian Statistical Methods | Peter D. Hoff | Buch

A First Course in Bayesian Statistical Methods

EAN: 9780387922997

Sprache: Englisch

Von/Mit: Peter D. Hoff

62,55 €*

Lieferzeit 1-2 Werktage

Buch

Cover: 9783787317059 | Liber de causis. Das Buch von den Ursachen | Anonymus | Buch | 260 S.

Liber de causis. Das Buch von den Ursachen

EAN: 9783787317059

Sprache: Deutsch, Klassische

Von/Mit: Anonymus

52,00 €*

Lieferzeit 2-3 Wochen

Taschenbuch

Cover: 9780631199823 | An Introduction to Philosophical Logic | Anthony C. Grayling | Buch

An Introduction to Philosophical Logic

EAN: 9780631199823

Sprache: Englisch

Von/Mit: Anthony C. Grayling

47,35 €*

Lieferzeit 1-2 Wochen

Buch

Cover: 9783642159534 | Statistische Informationstechnik | Kroschel Kristian (u. a.) | Buch

Statistische Informationstechnik

Signal - und Mustererkennung, Parameter- und Signalschätzung

EAN: 9783642159534

Sprache: Deutsch

Von/Mit: Kroschel Kristian (u. a.)

59,99 €*

Lieferzeit 2-3 Wochen

Taschenbuch

Cover: 9783932386978 | Weimar-Cambridge und zurück | Günter Kollert | Taschenbuch | 148 S.

Weimar-Cambridge und zurück

Goethe, Wittgenstein und die Welt der Farben

EAN: 9783932386978

Sprache: Deutsch

Von/Mit: Günter Kollert

10,25 €*

Lieferzeit 1-2 Wochen

Buch

Cover: 9780333977019 | What is History? | With a new introduction by Richard J. Evans | Buch

What is History?

With a new introduction by Richard J. Evans

EAN: 9780333977019

Sprache: Englisch

Von/Mit: R. Evans (u. a.)

28,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9783658322670 | Machine Learning kompakt | Choo | Taschenbuch | VIII | Deutsch | 2021

Machine Learning kompakt

Ein Einstieg für Studierende der Naturwissenschaften

EAN: 9783658322670

Sprache: Deutsch

Von/Mit: Kenny Choo (u. a.)

14,99 €*

Lieferzeit 4-7 Werktage

Taschenbuch

Cover: 9781108986991 | Gödel's Incompleteness Theorems | Elements in Philosophy and Logic

Gödel's Incompleteness Theorems

EAN: 9781108986991

Sprache: Englisch

Von/Mit: Juliette Kennedy

24,10 €*

Lieferzeit 4-7 Werktage

Taschenbuch

Cover: 9780956372895 | Bayes' Rule | A Tutorial Introduction to Bayesian Analysis | Stone

A Tutorial Introduction to Bayesian Analysis

EAN: 9780956372895

Sprache: Englisch

Von/Mit: James V Stone

21,30 €*

Lieferzeit 4-7 Werktage

Taschenbuch

Cover: 9780367182441 | An Introduction to Multilevel Modeling Techniques | Heck (u. a.)

An Introduction to Multilevel Modeling Techniques

MLM and SEM Approaches

EAN: 9780367182441

Sprache: Englisch

Von/Mit: Ronald Heck (u. a.)

76,15 €*

Lieferzeit 1-2 Wochen

Buch

Cover: 9780262039871 | Taming Uncertainty | Ralph Hertwig (u. a.) | Buch | Englisch | 2019

Taming Uncertainty

EAN: 9780262039871

Sprache: Englisch

Von/Mit: Ralph Hertwig (u. a.)

58,60 €*

Lieferzeit 1-2 Wochen