数理論理学と弁証法的論理学 / 石川康晴／著