CSLI Lecture Notes 無料化

logic

olehjortland 氏のついったー経由、
こちらからダウンロード可能。リストを全部掲げることはしませんが、個人的に興味があるところでは

  1. Normalization, cut-elimination, and the theory of proofs / A.M. Ungar.
  2. Vicious circles : on the mathematics of non-wellfounded phenomena / Jon Barwise and Lawrence Moss.
  3. Lectures on linear logic / A.S. Troelstra.

なんかが入手可能です。しかし最近、欧米の学術系出版社はすごいですね（日本の学術系出版社が、絶版の和書をweb公開する日は当分の間来ないでしょう）。