Richard Zach - Böcker

Visar alla böcker från författaren Richard Zach.

2 produkter

Kategorier

2 produkter

An Introduction to Proof Theory

Normalization, Cut-Elimination, and Consistency Proofs

Av Paolo Mancosu, Sergio Galvan m. fl

Inbunden, Engelska, 2021

2 239 kr

Skickas inom 5-8 vardagar

An Introduction to Proof Theory

Normalization, Cut-Elimination, and Consistency Proofs

Av Paolo Mancosu, Sergio Galvan m. fl

Häftad, Engelska, 2021

569 kr

Skickas torsdag 15/1