Ebook: An Introduction to Proof Theory. Normalization, Cut-Elimination, and Consistency Proofs
- Year: 2021
- Publisher: Oxford University Press
- Language: English
- pdf
Download the book An Introduction to Proof Theory. Normalization, Cut-Elimination, and Consistency Proofs for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)