The best Mathematical logic documents for Computer science