%0 Book %1 citeulike:12827772 %A Manna, Zohar %B McGraw-Hill Computer Science Series %C Tokyo %D 1974 %I McGraw-Hill Kogakusha %K 03d05-automata-and-formal-grammars, 03d10-turing-machines-and-related-notions, 68q60-specification-and-verification 68q01-theory-of-computing 03b10-classical-first-order-logic %T Mathematical Theory of Computation %U http://www.worldcat.org/isbn/0070399107 %@ 0070399107

@book{citeulike:12827772, added-at = {2017-06-29T07:13:07.000+0200}, address = {Tokyo}, author = {Manna, Zohar}, biburl = {https://www.bibsonomy.org/bibtex/21429a4c323aeaa233df3580dc567451a/gdmcbain}, citeulike-article-id = {12827772}, citeulike-linkout-0 = {http://www.worldcat.org/isbn/0070399107}, citeulike-linkout-1 = {http://books.google.com/books?vid=ISBN0070399107}, citeulike-linkout-2 = {http://www.amazon.com/gp/search?keywords=0070399107\&index=books\&linkCode=qs}, citeulike-linkout-3 = {http://www.librarything.com/isbn/0070399107}, citeulike-linkout-4 = {http://www.worldcat.org/oclc/693983}, comment = {(private-note)Holdings: pers.}, interhash = {2bdc3b3cacf5a09a9981c3f1476a2115}, intrahash = {1429a4c323aeaa233df3580dc567451a}, isbn = {0070399107}, keywords = {03d05-automata-and-formal-grammars, 03d10-turing-machines-and-related-notions, 68q60-specification-and-verification 68q01-theory-of-computing 03b10-classical-first-order-logic}, posted-at = {2013-12-12 05:59:42}, priority = {1}, publisher = {McGraw-Hill Kogakusha}, series = {McGraw-Hill Computer Science Series}, timestamp = {2020-05-08T02:43:59.000+0200}, title = {{Mathematical Theory of Computation}}, url = {http://www.worldcat.org/isbn/0070399107}, year = 1974 }