Solvability of the Decision Problem for Several Classes of Functional Calculi
por Wilhelm Ackermann · 1954
Ver sugerenciasSinopsis
Ackermann explora la solubilidad del problema de decisión para varias clases de cálculos funcionales, contribuyendo al entendimiento de la decidibilidad en lógica matemática.
Sé el primero en valorar este libro.
Más de Wilhelm Ackermann
Ver autor →Otras obras del mismo autor en el catálogo
Libros similares
Libros relacionados según distintos criterios de búsqueda
Descubre libros parecidos a este
Entra para ver las conexiones que yoleo encuentra con el resto del catálogo, y para guardar los que te interesen.