AKTUELLE PARTNERANGEBOTE

Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

Name: Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
Brand: Paolo Mancosu
SKU: 9783686

Binding : hardcover, Label : Introduction to Proof Theory : Normalization, Cut-Elimination, and Consistency Proofs, medium : hardcover, numberOfPages : 432, publicationDate : 2021-10-12, releaseDate : 2021-10-12, authors : Paolo Mancosu, Sergio Galvan, Richard Zach, languages : english, ISBN : 0192895931

1 Angebote · ab 146,80 € gemeldete Gesamtkosten

Finde das Produkt,das wirklich zu dir passt.

Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

Finde das Produkt,
das wirklich zu dir passt.