00332    a2200121   4500020001500000082001500015100002000030245004200050260004200092300002200134650002300156700003100179  a8120310160  a511.3bLEW  aLewis, Harry R.  aElements of the theory of computation  aNew DelhibPrentice- Hallc1981g2001  axiv, 466p.c23cm.  aMathematical logic  aPapadimitriou, Christos H.