Skolem-type normal forms for first-order languages with a generalized quantifier

Wydawnictwa / Czasopisma IMPAN / Fundamenta Mathematicae / Wszystkie zeszyty

G. Fuhrken Fundamenta Mathematicae 54 (1964), 291-302 DOI: 10.4064/fm-54-3-291-302