Logical Foundations Vscs P by John Macnamara & Gonzalo E. Reyes