記号論理学講義 : 基礎理論・束論と圏論・知識論

記号論理学講義 : 基礎理論・束論と圏論・知識論

キゴウ ロンリガク コウギ : キソ リロン ソクロン ト ケンロン チシキロン

清水義夫著

東京 : 東京大学出版会, 2013.3

図書等

巻号情報

No. 所在 請求記号 資料ID 資料タイプ 状況(返却予定日) コレクション 備考 予約・取り寄せ人数

1

410.96-Sh49

10013008877

一般図書

詳細情報

刊年

2013

形態

vii, 382p : 挿図 ; 21cm

別書名

Lectures on symbolic logic : elements of symbolic logic, lattice and category theory, philosophy of symbolic logic

Lectures on symbolic logic : elements of symbolic logic, lattice and category theory and philosophy of symbolic logic

記号論理学講義 : 基礎理論束論と圏論知識論

注記

参考図書: p373-374

その他のタイトルは標題紙裏による

出版国

日本

標題言語

日本語 (jpn)

本文言語

日本語 (jpn)

著者情報

清水, 義夫(1939-) (シミズ, ヨシオ)

分類

NDC8:410.96

NDC9:410.96

件名

記号論理学

ISBN

9784130120623

NCID

BB12134898

番号

TRC : 13016905