ω-Trees in stationary logic

Wydawnictwa / Czasopisma IMPAN / Fundamenta Mathematicae / Wszystkie zeszyty

A. Baudisch, D. Sesse, H. Tuschik Fundamenta Mathematicae 119 (1983), 205-215 DOI: 10.4064/fm-119-3-205-215