Richard Zach – författare

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

2 produkter

Kategorier

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 049 kr

Skickas inom 5-8 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

559 kr

Skickas inom 7-10 vardagar