Abstract | Keywords | Export | Availability | Bookmark

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This self-contained textbook introduces the methods and results of descriptive complexity together with its applications. With many examples and exercises, it may be used for a graduate or advanced undergraduate course.

Computer science --- Computational complexity. --- Logic, Symbolic and mathematical. --- Complexité de calcul (Informatique) --- Logique symbolique et mathématique --- 681.3*F1 --- Computation by abstract devices --- 681.3*F1 Computation by abstract devices --- Complexité de calcul (Informatique) --- Logique symbolique et mathématique --- Computational complexity --- Logic, Symbolic and mathematical --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Complexity, Computational --- Electronic data processing --- Machine theory --- Computers. --- Mathematical logic. --- Theory of Computation. --- Information Systems and Communication Service. --- Mathematical Logic and Foundations. --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace