資料詳細

  • 1 件中、 1 件目

岩波講座 情報科学 7 利用可

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

所蔵

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

所蔵館 場所 棚番号 請求記号 資料コード 貸出利用 状態
本館 書庫２下 Map B/007/ｼﾞ/7 1101061060 閲可 貸可 協可 －

ページの先頭へ

資料詳細

タイトル 岩波講座 情報科学 7
巻の書名 論理と意味
出版地 東京
出版者 岩波書店
出版年 1983.1
ページ数 202p
大きさ 22cm
一般件名 情報科学
分類番号 007.08

ページの先頭へ

内容一覧

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

ページの先頭へ