数論・論理・意味論その原型と展開 の商品レビュー
労作.デカすぎて読み通せないが,野本先生としては各トピック説明し足りないくらいだろう.だいたいDedekindからKripke, Kaplanくらいまで.論理主義・形式主義あたり確認するのにけっこう重宝しました.古典論理+アルファくらいはひととおり理解しておくべし.
Posted by
- 1
労作.デカすぎて読み通せないが,野本先生としては各トピック説明し足りないくらいだろう.だいたいDedekindからKripke, Kaplanくらいまで.論理主義・形式主義あたり確認するのにけっこう重宝しました.古典論理+アルファくらいはひととおり理解しておくべし.
Posted by