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