Un sistema de deducción natural con base en las "Layes del pensamiento". - Gutiérrez Carranza, Claudio 1930-