There exists x such that P(x,y) for any y in Y. For all x in X, there exists y such that P(x,y). There exists x in X such that P(x,y) for some y in Y. For all x in X, P(x,y) for all y in Y.

復刊 数理論理学作者: 松本和夫出版社/メーカー: 共立出版発売日: 2001/08/15メディア: 単行本購入: 3人 クリック: 12回この商品を含むブログ (6件) を見る数理論理学の基本がコンパクトにまとまっている。数理論理学の入門書はたくさんあり、それぞれまとめ…