Goedel and Turing on Hilbert's program

MaRDI QIDQ6943291zbMATH OpenFDO

Authors Eugeniusz Barcz

Publication date 14 August 2025

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03)

This page was built for publication: Goedel and Turing on Hilbert's program

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6943291)