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

AvPaolo Mancosu,Sergio Galvan m. fl.

Inbunden, Engelska, 2021

1 919 kr

Skickas inom 5-8 vardagar

An Introduction to Proof Theory

Normalization, Cut-Elimination, and Consistency Proofs

AvPaolo Mancosu,Sergio Galvan m. fl.

Häftad, Engelska, 2021

569 kr

Skickas fredag 13/3