資料詳細

  • 1 件中、 1 件目

岩波講座 情報科学 7 貸出可

-- 岩波書店 -- 1983.1 -- 007.08

所蔵

所蔵件数は 1 件です。現在の予約件数は 0 件です。

所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
地下書庫 /549/I/7 110175817 成人一般 可能 iLisvirtual

ページの先頭へ

資料詳細

タイトル 岩波講座 情報科学 7
タイトルカナ イワナミ コウザ ジョウホウ カガク
巻の書名 論理と意味
巻の著者 長尾 真／[著]
出版者 岩波書店
出版年 1983.1
ページ数 202p
大きさ 22cm
一般件名 情報科学
分類記号 007.08

ページの先頭へ

内容一覧

タイトル 著者名 ページ
記号論理学
命題論理
述語論理
述語論理のモデル理論
述語論理とプログラミング
様相と内包
Montague文法入門

ページの先頭へ