J. Lambek and P. J. Scott Introduction to Higher-Order Categorical Logic, Cambridge University Press, Cambridge Studies in Advanced Mathematics, no. 7, 1988 William S. Hatcher ''[Review of] Peter Aczel. Frege Structures and the Notions of …

今日は古本まつりに行こうかと考えていましたが、目が覚めるとお昼を回っていた。目覚まし時計をかけていませんでした。面倒になったので、古本まつりはやめました。