Revista: | Notas de lógica matemática |
Base de datos: | PERIÓDICA |
Número de sistema: | 000009062 |
ISSN: | 0078-2017 |
Autores: | Shore, R.A1 |
Instituciones: | 1Cornell University, Department of Mathematics, Ithaca, Nueva York. Estados Unidos de América |
Año: | 1993 |
Número: | 38 |
Paginación: | 61-70 |
País: | Argentina |
Idioma: | Inglés |
Tipo de documento: | Artículo |
Enfoque: | Analítico |
Disciplinas: | Filosofía, Matemáticas |
Palabras clave: | Lógica, Matemáticas puras, Turing, Teorías, Conjuntos, Tabla de verdad, Reducibilidad, Indecidibilidad, Numerabilidad recursiva |
Keyword: | Philosophy, Mathematics, Logic, Pure mathematics, Sets, Turing, Theories, Truth-table, Reducibility, Undecidability, Recursive enumerability |
Solicitud del documento | |