Especialista em escrever regras de negócio usando logica proposicional, logica de predicados e logica modal.
100+