Applied proof theory: proof interpretations and their use in mathematics

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783540775324
Maße
24 cm, 960 gr.
Umfang
XIX, 532 S.
Sprache
Englisch
Anmerkungen
Literaturverz. S. 507 - 523

Schlagwort
Beweistheorie

Ereignis
Veröffentlichung
(wo)
Berlin, Heidelberg
(wer)
Springer
(wann)
2008
Urheber

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.06.2025, 13:36 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Beteiligte

Entstanden

  • 2008

Ähnliche Objekte (12)

Proof interpretations: theoretical and practical aspects

Hochschulschrift

Proof interpretations: theoretical and practical aspects

Proof theory

Proof theory

Proof theory

Proof theory

Lifting Applied to Proof Complexity

zweidimensionales bewegtes Bild

Lifting Applied to Proof Complexity

Computation and proof theory

Computation and proof theory

Proof theory : an introduction

Proof theory : an introduction

Proof theory : an introduction

Proof theory : an introduction

Ways of proof theory

Konferenzschrift | Kongress

Ways of proof theory

From Proof Texts to Logic. Discourse Representation Structures for Proof Texts in Mathematics

Konferenzbeitrag

From Proof Texts to Logic. Discourse Representation Structures for Proof Texts in Mathematics

From Proof Texts to Logic. Discourse Representation Structures for Proof Texts in Mathematics

From Proof Texts to Logic. Discourse Representation Structures for Proof Texts in Mathematics

Proof theory and intuitionistic systems

Proof theory and intuitionistic systems

A survey of proof theory

Akten

A survey of proof theory

Verbundene Objekte