ゲーデルと20世紀の論理学(ロジック)〈2〉完全性定理とモデル理論 [233回参照されました]

放浪猫さん がこの本を手に取りました。放浪猫さんは、これまでに11冊の本を読み、2,361ページをめくりました。

この本に興味を持ってる人達

 放浪猫さん