O Positivismo Lógico E a Lógica Dos Cômputos. PBCIB 2025, 20 (2), 020-033.