Hacker News new | ask | show | jobs
An Introduction to Computational Logic (ps.uni-saarland.de)
1 points by ___Calv_Dee___ 5172 days ago