Proof Theory and Logic Programming

(lix.polytechnique.fr)

6 points | by remywang 19 hours ago ago

No comments yet.