Logic and automata history and perspectives / [electronic resource] : edited by Jorg Flum, Erich Gradel, and Thomas Wilke. - Amsterdam : Amsterdam University Press, c2008. - 736 p. : ill. - Texts in logic and games ; v. 2 . - Texts in logic and games ; v. 2. .

Includes bibliographical references.

9789048501281


Machine theory.
Logic, Symbolic and mathematical.
Computer science--Mathematics.
Computational complexity.


Electronic books.

QA267 / .L64 2008