記号論理学の基礎　改訂最新版 D・ヒルベルト/W・アッケルマン著　石本新/竹尾治一郎訳