Handbook of mathematical logic - Keisler, H. Jerome (Amsterdam : North-Holland Publishing Company, 1977)
Includes bibliographical references and index.
Keywords: Logic, Symbolic and mathematical