関数型プログラミング言語Haskellat TECH
関数型プログラミング言語Haskell - 暇つぶし2ch315:314続き
02/07/19 17:43
>>314-315続き
235 名前: 考える名無しさん 投稿日: 01/12/12 17:18
URLリンク(www.amazon.co.jp)
をかいなさい。

242 名前: 考える名無しさん 投稿日: 02/01/06 15:37
>>229
いまどきならTroelstraとかHughes-Cresswell(古臭いっ)よりこっちがいい。
非古典論理を統一的に学べます.
URLリンク(www.amazon.co.jp)

日本語なら小野寛晰先生の本がおすすめ。

244 名前: 考える名無しさん 投稿日: 02/01/10 02:32
>>242
おいおい、Hughes-Cresswell の第二版は 1996年に出たばかりだぞ。
なんかがらりとかわって別の本みたいになってると思ったけど、違うっけ?

今どきで、お手軽で様相論理絡みの非古典論理というなら、俺は、
URLリンク(www.amazon.co.jp)

これをすすめたい。安いし、哲学の話もそれなりに多く書いてあるから、
この板の人向きと思うが。


次ページ
続きを表示
1を表示
最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch