17352Lógica formal clásicaPTesTesauro active approved Lógica formal clásicaLógica formal clásicaBT2622LógicaPT