2009-02-22から1日間の記事一覧

 Professor Brady's Book Universal Logic

上記入手文献中、一番最初に上げた本 Ross Brady Universal Logic, CSLI Publications, Center for the Study of Language and Information Lecture Notes, no. 109, 2006 を検討するいみについて、少し記しておく。 この本は title からは何の本なのか、と…

ここ数日で入手した文献の名を掲げる。順不同。 Ross Brady Universal Logic, CSLI Publications, Center for the Study of Language and Information Lecture Notes, no. 109, 2006 Morten Heine Sorensen and Pawel Urzyczyn Lectures on the Curry-Howard…

入手文献、Professor Brady’s Book Universal Logic

プロフィールの後半部分を書き変えました。