BR SPCLEARQ FAIA-PIm-A-IT364
·
Item
Part of Ayda Ignez Arruda
Elements area
Taxonomy
Code
Scope note(s)
Source note(s)
Display note(s)
Hierarchical terms
Matemática
- NT geometria
- NT Álgebras de conjuntos não-clássicas
- NT Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes
- NT Funções
- NT Geometria
- NT Lógica
- NT Lógica da Vaguidade
- NT Lógica de Vasil'év
- NT Russell's Set
- NT Silogística de Vasil'év
- NT Teoremas de completude e consistência
- NT Teoremas em teorias de primeira ordem de Vasil'év
- NT Teoria das Categorias
- NT Teoria das Probabilidades
- NT Teoria de modelos
- NT Teoria dos conjuntos
- NT Teoria dos Números
- NT Teorias de primeira ordem de Vasil’év
- NT Universal Set in Paraconsistent Set Theory