01422nam a2200361 a 4500 ebr10302747 CaPaEBR m u cr cn||||||||| 091013s2008 ne a sb 000 0 eng d 9789053565766 9789048501281 CaPaEBR CaPaEBR (OCoLC)232968063 QA267 .L64 2008eb Logic and automata [electronic resource] : history and perspectives / edited by J�org Flum, Erich Gr�adel, and Thomas Wilke. Amsterdam : Amsterdam University Press, c2008. 736 p. : ill. 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. local Flum, J�org. Gr�adel, Erich, 1958- Wilke, Thomas, 1965- ebrary, Inc. Texts in logic and games ; v. 2. http://site.ebrary.com/lib/rucke/Doc?id=10302747 An electronic book accessible through the World Wide Web; click to view 171161 171161