TY  - BOOK
AU  - Weaver, George
TI  - Henkin-Keisler models
SN  - 9780792343660
SN  - 96037437
U1  - 511.3 WEA 
PY  - 1997///
CY  - Dordrecht ; Boston
PB  - Kluwer Academic Publishers
KW  - First-order logic
KW  - Model theory
KW  - Ultraproducts
N1  - Includes bibliographical references and indexes
ER  -