TY  - BOOK
AU  - Barwise,Jon
AU  - Keisler,H.Jerome
TI  - Handbook of mathematical logic
SN  - 072042285X
PY  - 1977///
CY  - Amsterdam, New York
PB  - North-Holland Publ. Co.
KW  - Logic, Symbolic and mathematical
N1  - Includes bibliogr. references and index
ER  -