1980年代後半から, 特に状況意味論やLiner Logicなどを中心に面白い成果を出していたスタンフォードのCSLI (Center for the Study of Language and Information) のLecture Notes (の一部) が, 電子化 (PDF) されて配布されているのですね.
CSLIのLecture Notes自体は今も出ていて既に200冊にもなっていますが, 初期の Peter Aczel, Jon Barwise, Keith Devlin などのLecture Notesはここから手に入ります.
素晴らしい.
