A course in mathematical logic
Bell, J. L.(John Lane)
Machover, M.
Amsterdam Oxford North-Holland Publishing Co.
1977
Bibliography: p.576-583. - Includes index
Logic, Symbolic and mathematical.