The Converse to a Metatheorem in Gödel Set Theory
From MaRDI portal
Publication:5619093
DOI10.1002/MALQ.19710170106zbMath0216.01302OpenAlexW2042776775MaRDI QIDQ5619093
Publication date: 1971
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19710170106
This page was built for publication: The Converse to a Metatheorem in Gödel Set Theory