計算理論と数理論理学(本)
#本
田中一之
#数理論理学
計算論の話などがかなり詳しく乗っている気がする