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