next up previous
: 述語論理 : 記号/命題/述語論理 : 命題計算の完全性定理

述語論理





Yasunari SHIDAMA