ALS from MHAN to Harold Jeffreys

Scope and Content

Discusses formal and informal proofs of mathematical problems.

Additional Information

Published