Ambos libros abordan la lógica desde una perspectiva formal, profundizando en axiomas y teoremas, lo que refleja su enfoque metamatemático en la lógica.

por Stephen Cole Kleene · 1952
Ver sugerenciasSinopsis
Sé el primero en valorar este libro.
Otras obras del mismo autor en el catálogo

1952

1952

1952

1952

1952

1952

1952

1952

1952

1952

1952

1952

1952

1964

1967
Libros relacionados según distintos criterios de búsqueda
Ambos libros abordan la lógica desde una perspectiva formal, profundizando en axiomas y teoremas, lo que refleja su enfoque metamatemático en la lógica.
Las estructuras y definiciones en el libro sobre los elementos de lógica matemática complementan y expanden las ideas presentadas en 'Introduction to Metamathematics'.