Proof Theory and Logic Programming by Dale Miller (.PDF)+ Posted on December 9, 2025 by book314 File Size: 10 MB Continue reading