Return to Article Details A lógica de Buridan: testabilidade e modelos Download Download PDF