New foundation of formal metamathematics.
From MaRDI portal
Publication:2595482
DOI10.2307/2267504zbMath64.0029.05OpenAlexW2100370904MaRDI QIDQ2595482
Publication date: 1938
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2267504
This page was built for publication: New foundation of formal metamathematics.