justine leon uro algorithm predicate validity symbolic argument categorical syllogism logic tessellation tiling tessellating regular polygon equilateral triangle square hexagon convex verities eternal saber-tooth development curriculum mathematical mathematics discrete examples example criterion
See more