Lewis, Harry R. creator Papadimitriou, Christos H. New Delhi Prentice- Hall 1981 2001 xiv, 466p. 23cm. Mathematical logic 511.3 LEW 8120310160