Natural Deduction for the Working Logician started as a blog about a proof theory course at NASSLLI 2016. Now it's about proof theory.
No comments:
Post a Comment