Lógica formal - Loyola, Pedro León (Luz., 1933)