Proof Theory and Logic Programming

(lix.polytechnique.fr)

9 points | by remywang 2 days ago ago