数学としての計算機科学（チューリング機械など）についての
古典的名著（代表的教科書）をお教えください．
（量子コンピュータの本を読むための前提知識を得たいのです）