Logic and automata

Logic and automata history and perspectives / [electronic resource] : edited by Jörg Flum, Erich Grädel, 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.


Electronic reproduction.
Palo Alto, Calif. :
ebrary,
2013.
Available via World Wide Web.
Access may be limited to ebrary affiliated libraries.




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


Electronic books.

QA267 / .L64 2008eb