- 中古
- 店舗受取可
- 書籍
- 書籍
- 1215-02-01
圏論による論理学 高階論理とトポス
定価 ¥3,080
2,200円 定価より880円（28%）おトク
獲得ポイント20P
在庫わずか ご注文はお早めに
発送時期 1～5日以内に発送
店舗受取サービス対応商品【送料無料】
店舗到着予定：3/29(日)～4/3(金)
店舗受取サービス対応商品
店舗受取なら1点でも送料無料！
店舗到着予定
3/29(日)～4/3(金)
商品詳細
| 内容紹介 | |
|---|---|
| 販売会社／発売会社 | 東京大学出版会 |
| 発売年月日 | 2007/12/20 |
| JAN | 9784130120579 |
店舗受取サービス
対応商品
店舗受取なら1点でも送料無料！
さらにお買い物で使えるポイントがたまる
店舗到着予定
3/29(日)～4/3(金)
- 書籍
- 書籍
圏論による論理学
商品が入荷した店舗：0店
店頭で購入可能な商品の入荷情報となります
ご来店の際には売り切れの場合もございます
オンラインストア上の価格と店頭価格は異なります
お電話やお問い合わせフォームでの在庫確認、お客様宅への発送やお取り置き・お取り寄せは行っておりません
値下げ前価格について
本価格は現中古販売価格の「値下げ前価格」となります。
直近約1か月間、値下げ前価格での販売実績があるものだけ表示しております。
圏論による論理学
¥2,200
在庫わずか
ご注文はお早めに
商品レビュー
5
3件のお客様レビュー
はじめに 序 1 関数型高階論理 2 トポス 3 トポスの基本定理 4 プルバック関手f^*の右-随伴関手Π_f 5 リミット、空間性トポス、限量記号 結び 付録 おわりに
Posted by 
内容としては竹内外史の層圏トポスなんだけど、圏を最低限だけさらっとやったら、さっさとトポスを定義する実践スタイルで読みやすかった。後半も細かい証明をとりあえず無視して読めば一瞬で読める。
Posted by
- ネタバレ
※このレビューにはネタバレを含みます
λ-h.o.l. の h.o.l.が、 higher order logicであることを始めてしりました。 圏論とうものがあり、トポスというものが役立ちそうだという感触が得られました。
Posted by
お手持ちのスマホでスキャン