Showing 4330 results
Subjects| Subjects term | Scope note | Archival description count | Authority record count |
|---|---|---|---|
| Teoremas de completude e consistência | 0 | 0 | |
| Teoria de modelos | 0 | 0 | |
| Teoremas em teorias de primeira ordem de Vasil'év | 0 | 0 | |
| Teorias de primeira ordem de Vasil’év | 0 | 0 | |
| Silogística de Vasil'év | 0 | 0 | |
| Lógica de Vasil'év | 0 | 0 | |
| Russell's Set | 0 | 0 | |
| Universal Set in Paraconsistent Set Theory | 0 | 0 | |
| Sistemas Dedutivos Inconsistentes | 0 | 0 | |
| Álgebras de conjuntos não-clássicas | 0 | 0 |