Davis, Martin,

Computability, complexity, and languages : fundamentals of theoretical computer science Martin D. Davis, Ron Sigal, Elaine J. Weyuker - 2nd ed - Boston Morgan Kaufmann Publishers 1994 - xix, 609 p: ill; 24 cm. - - . - Computer science and scientific computing. .

Includes bibliographical referencesand index

9780122063824 =








General principles of mathematics Machine theory. Computational complexity Formal languages. Mathematical logic

/

511.3 DAV