https://adm.senado.leg.br/vcb/vocab/https://adm.senado.leg.br/vcb/vocab/skos/15106Lógica matemática https://adm.senado.leg.br/vcb/vocab/skos/15106 Matemática BT https://adm.senado.leg.br/vcb/vocab/skos/15106 Filosofia RT https://adm.senado.leg.br/vcb/vocab/skos/15106 Método de pesquisa RT https://adm.senado.leg.br/vcb/vocab/skos/15106 Semântica (filosofia) NT https://adm.senado.leg.br/vcb/vocab/skos/15106 Teoria dos conjuntos NT https://adm.senado.leg.br/vcb/vocab/skos/15106 Algoritmo criptográfico NT https://adm.senado.leg.br/vcb/vocab/skos/15106 Lógica proposicional NT https://adm.senado.leg.br/vcb/vocab/skos/15106 Lógica temporal NT https://adm.senado.leg.br/vcb/vocab/skos/15106 Lógica simbólica e matemática UF