All Recommendations for Formal Logic & Reasoning