Logic and automata : history and perspectives /

Bibliographic Details
Other Authors:	Flum, Jörg, Grädel, Erich, 1958-, Wilke, Thomas, 1965-
Format:	Book
Language:	English
Published:	[Amsterdam] : Amsterdam University Press, [2008]
Series:	Texts in logic and games ; v. 2.
Subjects:	Machine theory. Logic, Symbolic and mathematical. Computer science > Mathematics. Computational complexity.

Remote Storage