N=P P=00380 DBM ref=DBM Henrique Jorge Henriques Compendium dialecticæ Lógica yLAT HENRIQUE JORGE HENRIQUES COMPENDIUM DIALECTICE LOGICA