Richard Zach – författare
Visar alla böcker från författaren Richard Zach.
2 produkter
An Introduction to Proof Theory
Normalization, Cut-Elimination, and Consistency Proofs
Av Paolo Mancosu, Sergio Galvan m. fl.
Inbunden, 2021
2759 kr
Lägg i varukorg
An Introduction to Proof Theory
Normalization, Cut-Elimination, and Consistency Proofs
Av Paolo Mancosu, Sergio Galvan m. fl.
Häftad, 2021
599 kr
Lägg i varukorg