TY - CHAP AU - Krynicki, M. ED - Krynicki, M. ED - Mostowski, M. ED - Szczerba, L. PB - Kluwer Academic Publishers PY - 1995 T2 - Quantifiers: Logics, Models and Computation TI - Henkin Quantifiers,[w:] Krynicki M., Mostowski M., Szczerba LW (red.) ER -