Gutiérrez Ramírez, C. A. W.D. Hart, The Evolution of Logic. CRHF 2018, 46, 129-137.