The interdeducibility of the new Hilbert-Bernays theory and Principia Mathematica.

From MaRDI portal
Publication:2611340