Handbook of mathematical logic
Barwise, Jon.
Amsterdam Oxford North-Holland Publishing Co.
1977
Includes bibliographies and index
Logic, Symbolic and mathematical.