TY - BOOK AU - Krynicki, MichaƂ AU - Mostowski, Marcin AU - Szczerba, L. W TI - Quantifiers : logics, models, and computation SN - 9780792334484 U1 - 511.3 KRY PY - 1995/// CY - Dordrecht ; Boston PB - Kluwer Academic Publishers KW - Model theory N1 - Includes bibliographical references and indexes ER -