An Introduction to Computational Logichttp://www.ps.uni-saarland.de/courses/cl-ss08/script/icl.pdf by ___Calv_Dee___ • 14 years ago 1 0 14 years agoPSps.uni-saarland.de