Esta fue una secuela del libro de Hilbert-Ackermann "Fundamentos de lógica teórica" de 1928.