「honto 本の通販ストア」サービス終了及び外部通販ストア連携開始のお知らせ
詳細はこちらをご確認ください。
このセットに含まれる商品
前へ戻る
- 対象はありません
次に進む
商品説明
表現力に優れた関数型高階論理と、高い一般性をもつ論理であるトポスについて、それらの基礎的な事柄の要点を、できるだけ平易に解説する。関数的、圏論的な見方への関心の糸口ともなる書。【「TRC MARC」の商品解説】
著者紹介
清水 義夫
- 略歴
- 〈清水義夫〉1939年東京生まれ。東京大学大学院人文科学研究科博士課程退学。千葉工業大学情報科学部教授。著書に「記号論理学」など。
関連キーワード
あわせて読みたい本
この商品に興味のある人は、こんな商品にも興味があります。
前へ戻る
- 対象はありません
次に進む
この著者・アーティストの他の商品
前へ戻る
- 対象はありません
次に進む