Raciocínio Lógico

Sub-área da matemática que explora as aplicações da lógica formal para a matemática.