An Introduction to Computational Logic #1 Post by ___Calv_Dee___ » Tue, Apr 17, 2012, 1:47 PM UTC An Introduction to Computational Logicps.uni-saarland.de