【徹底】ネット数学者総合スレIII【検証】

このエントリーをはてなブックマークに追加
264で偉そうに紹介する教科書がBoolos-Jeffreyっていう時点で
計算論の専門家っつーよか「数理論理学」スレからの刺客って
感じ丸出しだったんだけども