Reasoning - Krawczyk, Daniel (Academic Press Elsevier, 2018)