Remarks on predicate logic with infinitely long expressions

Instytut Matematyczny Polskiej Akademii Nauk / pl / Wydawnictwa / Czasopisma IMPAN / Colloquium Mathematicum / Wszystkie zeszyty

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