2016-01-02 17:39:05+00:00 Like, Bellos and de Sautoy books are wonderful, but what about a book with theorems and proofs in it?