Formalizing a non-linear Henkin quantifier

Publishing house / Journals and Serials / Fundamenta Mathematicae / All issues

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