FA Sign in

Discover references

Richard Zach

Books

1 results

English Unordered

An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

Paolo Mancosu, Sergio Galvan, Richard Zach

2021 View book