Hoppa till sidans huvudinnehåll

Richard Zach – författare

Visar alla böcker från författaren .
2 produkter
Paolo Mancosu, Sergio Galvan, Richard Zach - An Introduction to Proof Theory, Inbunden

An Introduction to Proof Theory

Normalization, Cut-Elimination, and Consistency Proofs

AvPaolo Mancosu,Sergio Galvanm. fl.

Inbunden, Engelska, 2021

2 689 kr

Skickas inom 3-6 vardagar

Paolo Mancosu, Sergio Galvan, Richard Zach - An Introduction to Proof Theory, Häftad

An Introduction to Proof Theory

Normalization, Cut-Elimination, and Consistency Proofs

AvPaolo Mancosu,Sergio Galvanm. fl.

Häftad, Engelska, 2021

649 kr

Skickas