Showing 4267 results
Subjects| Subjects term | Scope note | Archival description count | Authority record count |
|---|---|---|---|
| The Philosophers Index | 0 | 0 | |
| VI Encontro Brasileiro de Lógica | 1 | 0 | |
| Álgebras de conjuntos não-clássicas | 1 | 0 | |
| Sistemas Dedutivos Inconsistentes | 0 | 0 | |
| Russell's Set | 1 | 0 | |
| Universal Set in Paraconsistent Set Theory | 1 | 0 | |
| Lógica de Vasil'év | 1 | 0 | |
| Silogística de Vasil'év | 2 | 0 | |
| Teoremas de completude e consistência | 1 | 0 | |
| Teoria de modelos | 1 | 0 |