predicate calculus cs 270 math foundations of computer science published presentations and documents on DocSlides.