Formalizing a non-linear Henkin quantifier

Wydawnictwa / Czasopisma IMPAN / Fundamenta Mathematicae / Wszystkie zeszyty

E. López-Escobar Fundamenta Mathematicae 138 (1991), 93-101 DOI: 10.4064/fm-138-2-93-101