Proof Theory and Logic Programming

 (lix.polytechnique.fr)

11 points | by remywang 19 days ago

0 comments