名古屋大学附属図書館




1

Mathematical theory of computation

by Zohar Manna. -- McGraw-Hill Kogakusha, c1974. -- (McGraw-Hill computer science series).