Hyperarithmetical quantifiers

Wydawnictwa / Czasopisma IMPAN / Fundamenta Mathematicae / Wszystkie zeszyty

C. Spector Fundamenta Mathematicae 48 (1960), 313-320 DOI: 10.4064/fm-48-3-313-320