[PR]
[]
×
[PR]上記の広告は3ヶ月以上新規記事投稿のないブログに表示されています。新しい記事を書く事で広告が消えます。
論理学の定番教科書と言うと、
 | A Mathematical Introduction to Logic, Second Edition Herbert B. Enderton (Academic Press, 2000) |
 | Introduction to Mathematical Logic (Discrete Mathematics and Applications) Elliott Mendelson (Chapman & Hall, 2009) |
 | Introduction to Metamathematics Stephen Cole Kleene (Ishi Press, 2009) |
あたりがぱっと思いつくのですが、これらについてざっくりとした私見を少し。
カレンダー
| 06 | 2025/07 | 08 |
| S | M | T | W | T | F | S |
|---|---|---|---|---|---|---|
| 1 | 2 | 3 | 4 | 5 | ||
| 6 | 7 | 8 | 9 | 10 | 11 | 12 |
| 13 | 14 | 15 | 16 | 17 | 18 | 19 |
| 20 | 21 | 22 | 23 | 24 | 25 | 26 |
| 27 | 28 | 29 | 30 | 31 |
カテゴリ別インデクス
本
音
雑
虫
技術
『スペクタクルの社会』を読む
ドゥルーズ講義録
電波
趣味の数学
趣味のゲーデル
『プリンキピア・マテマティカ』を読む
自己紹介もどき
ブログペット俳句
芸術一般
言語ヲタ
お客様
GRE CS
留学
Boing Boing
映画
ちょっといい話
かなりダメな話
魂の叫び
哲学と数学
論文
引用
「いい」とも「ダメ」とも言いがたい話
悲喜こもごも
証明論
ポエム
書物への呪詛
言わずもがななことではあるけれどときに忘れてしまうこと
何か無駄なことをしよう
日々
趣味の勉強
夢
ブログの記事
翻訳
勉強
不眠
文房具
ライフハック
育児
音
雑
虫
技術
『スペクタクルの社会』を読む
ドゥルーズ講義録
電波
趣味の数学
趣味のゲーデル
『プリンキピア・マテマティカ』を読む
自己紹介もどき
ブログペット俳句
芸術一般
言語ヲタ
お客様
GRE CS
留学
Boing Boing
映画
ちょっといい話
かなりダメな話
魂の叫び
哲学と数学
論文
引用
「いい」とも「ダメ」とも言いがたい話
悲喜こもごも
証明論
ポエム
書物への呪詛
言わずもがななことではあるけれどときに忘れてしまうこと
何か無駄なことをしよう
日々
趣味の勉強
夢
ブログの記事
翻訳
勉強
不眠
文房具
ライフハック
育児
最新記事
最新コメント
[07/16 CharlesStync]
[07/16 zanderneujx.tinyblogging.com]
[07/16 Algerlbic]
[07/16 Algerlbic]
[07/16 STIVROGeGat]
[07/16 http://beauty24567.blogocial.com]
[07/16 bandarq online]
[07/16 manueltlapd.thezenweb.com]
[07/16 buy spartagen xt]
[07/16 ClintonvaP]
最新トラックバック
メール
ブログ作成者（はやし）に直接訴えたいことがある、という場合は、下のアドレスにメールをどうぞ。
thayashi#ucalgary.ca
（#を@に置換してください）
ランダムおすすめ
（忍者ブログに引越してから、うまくうごかなくなってしまいました。いつか、直します）
Randombook
このブログで紹介したことのある本をランダム表示。
このブログで紹介したことのある本をランダム表示。
Randomusic
このブログで紹介したことのある音をランダム表示。
このブログで紹介したことのある音をランダム表示。
最近のおすすめ本
最近のおすすめ音
カウンタ