id:nuhsnuh さん経由。知っている人は知っている話でしょうが。 ASLで編集され、Springerから出版されていた ”Perspective in logics"シリーズが、なんと Project Euclid で無料公開されていました。ページはこちら。内訳は Computability in Analysis and P…

一日休養と原稿書き（計画から大幅に遅れている）。夕食は焼き肉丼。