2012-02-06から1日間の記事一覧
ちょっとしたことを一つ。 昨日、古書店で次の本を何気なく手に取って中を見ていた。 藤代幸一 『記号を読む旅 ドイツ中世文化紀行』、法政大学出版局、1986年 この本は、買って帰っては来ませんでしたので、今手元にはないのですが、その本の第二章に、この…
Rod Adams An Early History of Recursive Functions and Computability from Gödel to Turing, Docent Press, 2011 Maria Manzano Extensions of First-Order Logic, Cambridge University Press, Cambridge Tracts in Theoretical Computer Science, no. 1…