Proof Theory and Logic Programming

(lix.polytechnique.fr)

4 points | by remywang 10 hours ago

No comments yet.