01420nam a2200361 a 4500001001200000003000800012006001900020007001500039008004100054020001800095020001800113040002100131035002100152050002300173245013600196260005300332300001900385490003700404504004100441533015200482650002000634650003800654650003500692650003000727655002900757700001900786700002900805700002600834710001700860830003800877856012600915999001701041ebr10302747CaPaEBRm        u        cr cn|||||||||091013s2008    ne a    sb    000 0 eng d  z9789053565766  z9789048501281  aCaPaEBRcCaPaEBR  a(OCoLC)23296806314aQA267b.L64 2008eb00aLogic and automatah[electronic resource] :bhistory and perspectives /cedited by J�org Flum, Erich Gr�adel, and Thomas Wilke.  aAmsterdam :bAmsterdam University Press,cc2008.  a736 p. :bill.1 aTexts in logic and games ;vv. 2  aIncludes bibliographical references.  aElectronic reproduction.bPalo Alto, Calif. :cebrary,d2013.nAvailable via World Wide Web.nAccess may be limited to ebrary affiliated libraries. 0aMachine theory. 0aLogic, Symbolic and mathematical. 0aComputer sciencexMathematics. 0aComputational complexity. 7aElectronic books.2local1 aFlum, J�org.1 aGr�adel, Erich,d1958-1 aWilke, Thomas,d1965-2 aebrary, Inc. 0aTexts in logic and games ;vv. 2.40uhttp://site.ebrary.com/lib/rucke/Doc?id=10302747zAn electronic book accessible through the World Wide Web; click to view  c68463d68463