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 ...
The Monthly publishes articles, as well as notes and other features, about mathematics and the profession. Its readers span a broad spectrum of mathematical interests, and include professional ...
“You don’t have to believe in God, but you have to believe in The Book,” the Hungarian mathematician Paul Erdős once said. The Book, which only exists in theory, contains the most elegant proofs of ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback