Mathematical logic : a course with exercises.
Cori, Rene.
Lascar, D.
Pelletier, Donald H.,1941-
Oxford : Oxford University Press,
2000.
Includes bibliographical references and index.
Logic, Symbolic and mathematical.