15/01/23 21:31:21.34 pBepR5z1
>>174
マジレスすると
・数学基礎論講義
・現代数理論理学序説
・ゲーデルと20世紀の論理学１～４
・数学基礎論（新井敏康）
・集合論（ケネス・キューネン）
・情報科学における論理
15/01/23 21:31:21.34 pBepR5z1
>>174
マジレスすると
・数学基礎論講義
・現代数理論理学序説
・ゲーデルと20世紀の論理学１～４
・数学基礎論（新井敏康）
・集合論（ケネス・キューネン）
・情報科学における論理
15/01/23 21:31:21.34 pBepR5z1
>>174
マジレスすると
・数学基礎論講義
・現代数理論理学序説
・ゲーデルと20世紀の論理学１～４
・数学基礎論（新井敏康）
・集合論（ケネス・キューネン）
・情報科学における論理