Resultados de búsqueda de autoridad
Resultados 1 a 1 de 1
| Encabezamientos autorizados | Tipo de encabezamiento | Registros bibliográficos | |
|---|---|---|---|
|
Término tópico:
Usado por:
Prueba, Teoría de la
Teoría de la prueba
Demostración, Teoría de la
ver además:
Lógica simbólica y matemática
(Encabezamiento genérico)
Automatic theorem proving
(Encabezamiento específico)
Incompleteness theorems
(Encabezamiento específico)
Numbers, Ordinal
(Encabezamiento específico)
|
Detalle | Término tópico | 0 biblios |