Remarks on predicate logic with infinitely long expressions

Publishing house / Journals and Serials / Colloquium Mathematicum / All issues

Alfred Tarski Colloquium Mathematicum 6 (1958), 171-176 DOI: 10.4064/cm-6-1-171-176