Goodreads Choice Awards Opening Round

Knogger’s Reviews > An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs > Status Update

Knogger
Knogger is on page 320 of 432
— Jul 05, 2025 03:23AM
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

flag

Knogger’s Previous Updates

Knogger
Knogger is on page 328 of 432
— Sep 24, 2026 01:22AM
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs


Knogger
Knogger is on page 313 of 432
— Sep 22, 2026 10:42PM
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs


Knogger
Knogger is on page 293 of 432
— Sep 20, 2026 12:05PM
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs


Knogger
Knogger is on page 326 of 432
— Jul 05, 2025 07:33AM
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs


Knogger
Knogger is on page 295 of 432
— Jun 26, 2025 06:12PM
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs


Knogger
Knogger is on page 289 of 432
— Jun 24, 2025 09:52PM
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs


Knogger
Knogger is on page 288 of 432
— Jun 23, 2025 03:10PM
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs


Knogger
Knogger is on page 272 of 432
— Jun 20, 2025 01:38PM
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs


Knogger
Knogger is on page 268 of 432
— Apr 03, 2025 05:22PM
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs


Knogger
Knogger is on page 256 of 432
— Mar 27, 2025 09:17AM
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs


Post a comment »
Comments

No comments have been added yet.


All of Knogger’s status updates
Everyone’s updates from this book