%0 Journal Article
%A E. López-Escobar
%T Formalizing a non-linear Henkin quantifier
%J Fundamenta Mathematicae
%D 1991
%P 93-101
%V 138
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.4064/fm-138-2-93-101/
%R 10.4064/fm-138-2-93-101
%G en
%F 10_4064_fm_138_2_93_101