【人気ブランド新作豊富】圏論による論理学高階論理とトポス通販 (品番:a6txjy0) セール中価格 1141円

論理学高階論理トポス

商品説明

発売日:2007年12月 / ジャンル:哲学・歴史・宗教 / フォーマット:本 / 出版社:東京大学出版会 / 発売国:日本 / ISBN:9784130120579 / アーティストキーワード:清水義夫 / タイトルキーワード:ケンロンニヨルロンリガク,コウカイロンリトトポス内容詳細:目次:第１章　関数型高階論理（関数型高階論理の考え方/ 高階論理λ‐ｈ．ｏ．ｌ．のタイプと項　ほか）/ 第２章　トポス（圏/ トポス　ほか）/ 第３章　トポスの基本定理（Ｉ上バンドルの圏Ｂｎ（Ｉ）/ 関手　ほか）/ 第４章　プルバック関手ｆの右‐随伴関手２ｆ（トポスの基礎的な諸性質/ パーシャルアロー・クラシファイヤーの存在定理　ほか）/ 第５章　リミット、空間性トポス、限量記号（リミットとコリミット/ 空間性トポスＴｏｐ（１）　ほか）

現在の価格：1,141円

私たちのプログラムは、2024-05-29 23:11:32 に、圏論による論理学高階論理とトポスをこの非常に有利な価格で販売しているサプライヤー abayaを見つけました。価格が非常に安いので、購入することをお勧めします。このショーケース製品の価格は、新しいオファーが利用可能になると随時変更される可能性があります。

メーカー品番:a6txjy0
店舗へのお問合せ時にはこちらの番号をご連絡ください

人文,心理,教育哲学,思想

即購入

Translate post

abayaズの店

圏論による論理学高階論理とトポス