Ordem Hierárquica dos Assuntos

  CE550 - MATEMÁTICA
   CE550.36 - LÓGICA MATEMÁTICA  <==
    CE550.36.1 - LÓGICA FUZZY
    CE550.36.2 - LÓGICA COMBINATÓRIA
    CE550.36.3 - LÓGICA DE ORDEM SUPERIOR
    CE550.36.4 - LÓGICA DE PRIMEIRA ORDEM
    CE550.36.5 - LÓGICA INTUICIONISTA
    CE550.36.6 - LÓGICA MODAL
    CE550.36.7 - METODOLOGIA DOS SISTEMAS DEDUTIVOS
    CE550.36.8 - SISTEMAS LÓGICOS NÃO CLÁSSICOS
    CE550.36.9 - LÓGICA PARACONSISTENTE
    CE550.36.10 - ANÁLISE NÃO STANDARD
    CE550.36.11 - TEORIA DOS MODELOS
    CE550.36.12 - TEORIA DA RECURSÃO
    CE550.36.13 - TEORIA DOS CONJUNTOS
    CE550.36.14 - MATEMÁTICA CONSTRUTIVA
    CE550.36.15 - TEORIA DA DEMONSTRAÇÃO
    CE550.36.16 - LÓGICA ALGÉBRICA
    CE550.36.17 - MODELOS NÃO STANDARD
    CE550.36.18 - ESTRUTURA DA RETA REAL
    CE550.36.19 - LINGUAGENS INFINITÁRIAS
    CE550.36.20 - LÓGICA POLIVALENTE
    CE550.36.21 - LÓGICA SIMBÓLICA
    CE550.36.22 - SISTEMAS LÓGICOS CLÁSSICOS
    CE550.36.23 - LÓGICA MATEMÁTICA APLICADA
          

(*) Em determinadas buscas no Banco Dedalus, o sistema poderá mostrar mensagens: "Sua busca não foi localizada", indicando não haver registros indexados com o assunto; "Sua busca localizou muitos registros; mais de 2000" - nesse caso, sugerimos efetuar busca com assuntos mais específicos.