This is a preview. Log in through your library . Abstract Proof-theoretical notions and techniques, developed on the basis of sentential/symbolic representations of formal proofs, are applied to Euler ...

A new rose has blossomed in the garden of mathematics: a flowery Venn diagram for 11 sets of objects. Venn diagrams use overlapping circles to show all possible relationships between sets. But ...