
por Alfred Tarski · 1959
Sinopsis
Alfred Tarski, lógico y matemático polaco, presenta una axiomatización de la geometría euclidiana utilizando un número finito de axiomas, demostrando la consistencia y completitud de estos sistemas fundamentales.
Sé el primero en valorar este libro.
Otras obras del mismo autor en el catálogo

1929

1933

1933

1933

1935

1935

1936

1936

1936

1936

1936

1936

1936

1936

1941
Libros relacionados según distintos criterios de búsqueda