The Beautiful Simplicity of the Gentzen System | Waqas Younas' blog - discu.eu

Hacker News

Simplicity of the Gentzen System https://wyounas.github.io/cs/2024/10/29/gentzen-system/ 0 comments 26/1/2025

Linking pages

Books I Enjoyed Most in 2024: Reflections on a Year of Reading https://thoughts.wyounas.com/p/books-i-enjoyed-most-in-2024 171 comments
A Year in Reading: From Cicero to Nietzsche and Beyond https://thoughts.wyounas.com/p/a-year-in-reading-from-cicero-to 0 comments

Related searches:

Search whole site: site:wyounas.github.io

Search title: The Beautiful Simplicity of the Gentzen System | Waqas Younas' blog

See how to search.

Submit link to: