計算理論と数理論理学 - 共立出版
田中 一之 著