Proof Theory and Logic Programming

(lix.polytechnique.fr)

4 points | by remywang 11 hours ago ago