López-Escobar, E.. "Formalizing a non-linear Henkin quantifier." Fundamenta Mathematicae 138.2 (1991): 93-101. <http://eudml.org/doc/211877>.
@article{López1991, author = {López-Escobar, E.}, journal = {Fundamenta Mathematicae}, keywords = {nonlinear Henkin quantifier; completeness; axiomatization; normalization; natural deduction}, language = {eng}, number = {2}, pages = {93-101}, title = {Formalizing a non-linear Henkin quantifier}, url = {http://eudml.org/doc/211877}, volume = {138}, year = {1991}, }
TY - JOUR AU - López-Escobar, E. TI - Formalizing a non-linear Henkin quantifier JO - Fundamenta Mathematicae PY - 1991 VL - 138 IS - 2 SP - 93 EP - 101 LA - eng KW - nonlinear Henkin quantifier; completeness; axiomatization; normalization; natural deduction UR - http://eudml.org/doc/211877 ER -
