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