
por Joseph Shoenfield · 1967
Sinopsis
Un texto clásico de lógica matemática que cubre la teoría de conjuntos, la lógica de primer orden, la teoría de la recursión y los teoremas de incompletitud, con un enfoque en la construcción formal de estos sistemas.
Sé el primero en valorar este libro.
Otras obras del mismo autor en el catálogo

1967

1967

1967









Libros relacionados según distintos criterios de búsqueda