Logic Reason Diagr Slc 6 C by Jon Barwise & Gerard Allwein