島根大学附属図書館OPAC

ようこそ  ゲスト さん

<図書>

アルゴリズムの論理学 : ロゴスの形式化理論の展開と限界 / 田代博司著

アルゴリズム ノ ロンリガク : ロゴス ノ ケイシキカ リロン ノ テンカイ ト ゲンカイ

データ種別 図書
出版者 東京 : 北樹出版
出版年 1995.4
本文言語 日本語
大きさ 252p ; 22cm

所蔵情報を非表示

配架場所 巻 次 背ラベル 登録番号 状 態 コメント ISBN 刷 年 利用注記 予約 文庫区分 指定図書
本館・1F書庫
NDC: 116.3/Ta93 7027317
4893844679 2000


書誌詳細を非表示

一般注記 発売: 学文社 (カバーに表記)
参考文献: p244-246
著者標目 田代, 博司(1949-) <タシロ, ヒロシ>
件 名 BSH:記号論理学
BSH:アルゴリズム
分 類 NDC9:116.3
NDC8:116.3
NDLC:H35
書誌ID 1020798212
ISBN 4893844679
NCID BN12602935 WCLINK

ページトップ