Loading Open Internet
    Which is the best book to learn how to prove? [CS Background]