TY  - BOOK
AU  - Weaver,George
TI  - Henkin-Keisler models
SN  - 0792343662 :
U1  - 511.3 
PY  - 1997///
CY  - Boston
PB  - Kluwer Academic Publishers
KW  - Model theory
KW  - Ultraproducts
ER  -