An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
Descrição do Produto
Você também pode gostar de:
![Scooby-Doo! and the Attack of the Scooby Snacks [An Official Cookbook]: From Scooby Snacks and Pickl](https://m.media-amazon.com/images/I/01AodW1Gh-L._SL500_.jpg "Scooby-Doo! and the Attack of the Scooby Snacks [An Official Cookbook]: From Scooby Snacks and Pickl")
