Changes

Drawing by Ivan Antonowitz, illustrating a method of displaying dyadic projections. Cf: “Figure 67. Syll c B^3 and its Dyadic Projections” In: Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Drawing by Ivan Antonowitz,
illustrating a method of displaying dyadic projections.
Cf: “Figure 67. Syll c B^3 and its Dyadic Projections”
In: [[Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems]]
12,089

edits