The cut-elimination theorem
| Autor: | Mancosu, Paolo, author, Galvan, Sergio, author, Zach, Richard, author |
|---|---|
| Zdroj: | An Introduction to Proof Theory : Normalization, Cut-Elimination, and Consistency Proofs, 2021, ill. |
| Databáze: | Oxford Scholarship Online |
| Externí odkaz: |
|