edited by Michał Krynicki, Marcin Mostowski, Lesław W. Szczerba ; : set. -- Kluwer Academic Publishers, c1995. -- (Synthese library ; v. 248 . Quantifiers : logics, models, and computation / edited by Michał Krynicki, Marcin Mostowski, Lesław W. Szczerba ; v. 1).