Proofs and refutations by laktos Basic mathematics by lang Mathematics for nonmathematician Hail mary andy weil Just picked up player piano linked here