資料詳細

  • 1 件中、 1 件目

岩波講座 情報科学 7 論理と意味 貸出可

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

所蔵

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

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
本館(和歌山市) 書庫K /014.9/11-7/82H 311753008 一般 貸出可 在庫

ページの先頭へ

資料詳細

タイトル 岩波講座 情報科学  7
出版者 岩波書店
出版年 1983.1
ページ数 202p
大きさ 22cm
一般件名 情報科学
NDC分類(9版) 007.08

ページの先頭へ

内容一覧

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

ページの先頭へ