完全性定理までの理解なら
論理学をつくる
戸田山 和久
http://amzn.asia/bLref84
ゲーデルの第一不完全性定理までの理解なら
現代論理学 単行本 ? 1991/5
安井 邦夫 (著)
http://amzn.asia/b2buybs
が非常に分かりやすい
数理論理学（数学基礎論） その13
■ このスレッドは過去ログ倉庫に格納されています
2018/08/01(水) 02:01:46.90ID:BQ8CuMl5
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 「AIをすぐ使いこなす人」に共通する特徴・ベスト1 [Gecko★]
- 少年少女がチュニジア戦を観戦できない!? DAZNサッカー実況アナが警鐘「4年に一度…夢と感動と勇気を与えてくれる機会、奪わないで」 [冬月記者★]
- 鶏肉価格が最高値更新 日本人のお弁当のおかずから鶏肉が消える [バイト歴50年★]
- 【W杯】森保J チュニジア戦のスタメン発表 [征夷大将軍★]
- かつて「死の病」と呼ばれ…20年前HIVに感染した男性の今 1日2粒で“普通の生活”できるのに消えない偏見 [煮卵★]
- 【僕女】「ボク」と自称する若い女性が急増 あのちゃんだけじゃない「私」を嫌がる令和女子の本音 [Ailuropoda melanoleuca★]
- 【MLB】ドジャース vs オリオールズ ★5
- 【地上波/DAZNほか】 FIFAワールドカップ2026 総合スレ★122【メキシコ/カナダ/アメリカ】
- 巨専】
- ハム専
- はません Part.2
- 〓たかせん〓
- 日本人「このままじゃ国債の利払いが出来ない」高市早苗「違うわ。日本国にはまだ国鉄の多額の債務が残っているし軍人恩給も支払ってるわ [784319933]
- 高市が首脳陣の横で口パクパクさせて歓談してた風に見せた広報ポスト、コミュニティノートがついたり消えたりする🫪 [359965264]
- 【悲報】日本人「体罰は善なんよ……ﾆﾁｬｱｱ」👈戸塚(知恵遅れバカ)を擁護してる奴がSNSに増えてる模様 [714769305]
- 【訃報】個人情報の改正案、事業者が本人の同意なく第三者に提供できる特例、病歴や犯罪歴、思想信条も、国会で審議中、議員で賛否 [943688309]
- 若者「家が狭く子どもが増やせない」サナ「では国推奨の住戸面積、4人家族95平米推奨を40平米に変更」閣議決定 [881878332]
- 🏡🌊☀👊😅👊🍉🌻🍦