第一卷 栞子和她的奇异宾客 第三话 维诺格拉多夫/库兹明《逻辑学入门》（青木文库）