2006-10-22から1日間の記事一覧
なぜかとても疲れていて一日ぐったり。
James Garson, Modal Logic for Philosophers, Cambridge University Press, £19.99. Douglas S. Bridges, Luminita Simona Vita, Techniques of Constructive Analysis, Springer, €39.95. 構成的数学の実際の使い方入門書。 Richard Heinemann & Bruce Kra…