Richard Zach – författare
Visar alla böcker från författaren Richard Zach. Handla med fri frakt och snabb leverans.
3 produkter
An Introduction to Proof Theory
Normalization, Cut-Elimination, and Consistency Proofs
Av Paolo Mancosu, Sergio Galvan m. fl.
Häftad, 2021
461 kr
Lägg i varukorg
An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding. It also serves as a companion to reading the original pathbreaking articles by Gerhard Gentzen. The first half …
Introduction to Proof Theory
Normalization, Cut-Elimination, and Consistency Proofs
Av Richard Zach, Sergio Galvan m. fl.
E-bok, 2021
375 kr
Lägg i varukorg
An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader''s understanding. It also serves as a companion to reading the original pathbreaking articles by Gerhard Gentzen. The first …
An Introduction to Proof Theory
Normalization, Cut-Elimination, and Consistency Proofs
Av Paolo Mancosu, Sergio Galvan m. fl.
Inbunden, 2021
2119 kr
Lägg i varukorg
An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding. It also serves as a companion to reading the original pathbreaking articles by Gerhard Gentzen. The first half …
