A system which can define its own truth

Publishing house / Journals and Serials / Fundamenta Mathematicae / All issues

John Myhill Fundamenta Mathematicae 37 (1950), 190-192 DOI: 10.4064/fm-37-1-190-192