数論・論理・意味論　その原型と展開

知の巨人たちの軌跡をたどる