Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1
  • Bild 2

Eine Einführung in die Beweistheorie: Normalisierung, Schnitt-Elimination und

Ø 0.0
0 Bewertungen
141,23 €

And the normalization theorems (for both NJ and NK), the sequent calculus, including cut-elimination and mid-sequent theorems, and various applications of these results. The second half examines ordinal proof.

Jetzt bei Ebay: