2012-02-06から1日間の記事一覧

 Aristotle, Phyllis, and The Condemnation of 1277

ちょっとしたことを一つ。 昨日、古書店で次の本を何気なく手に取って中を見ていた。 藤代幸一 『記号を読む旅 ドイツ中世文化紀行』、法政大学出版局、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…

Aristotle, Phyllis, and The Condemnation of 1277