数論ㆍ論理ㆍ意味論その原型と展開 : 知の巨人たちの軌跡をたどる - 野本和幸, 1939- (東京大学出版会, 2019)