Consistency statements in formal theories

• 1 January 1971
• journal article
• Published by Institute of Mathematics, Polish Academy of Sciences in Fundamenta Mathematicae
• Vol. 72  (1) , 17-40
• https://doi.org/10.4064/fm-72-1-17-40

Abstract