Ebook: An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
- Genre: Other Social Sciences // Philosophy
- 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)