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 paper published in Nature Communications could put scientists on the path to understanding one of the wildest, hottest, ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback