Respostas
respondido por:
0
Resposta:
É uma sub-área da matemática que explora as aplicações da lógica formal para a matemática. Basicamente, tem ligações fortes com matemática, os fundamentos da matemática e ciência da computação teórica.
Perguntas similares
5 anos atrás
5 anos atrás
8 anos atrás
8 anos atrás
9 anos atrás