Mendeley出力
＜図書＞
はじめての数理論理学 : 証明を作りながら学ぶ記号論理の考え方
ハジメテ ノ スウリ ロンリガク : ショウメイ オ ツクリナガラ マナブ キゴウ ロンリ ノ カンガエカタ
| 責任表示 | 山田俊行著 |
|---|---|
| データ種別 | 図書 |
| 出版情報 | 東京 : 森北出版 , 2018.7 |
| 本文言語 | 日本語 |
| 大きさ | vii, 131p : 挿図 ; 22cm |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
理系図1F 開架 | 410.96/Y 19 | 2018 |
|
130012018010692 |
|
書誌詳細
| 別書名 | 標題紙タイトル:Mathematical logic for beginners |
|---|---|
| 一般注記 | 三重大学工学部情報工学科の講義「数理論理学」の配布資料や講義ノートをもとにしたもの 参考文献: 巻末 |
| 著者標目 | 山田, 俊行 <ヤマダ, トシユキ> |
| 件 名 | NDLSH:記号論理学 |
| 分 類 | NDC7:410.12 NDC8:410.96 |
| 書誌ID | 1001663797 |
| ISBN | 9784627078017 |
| NCID | BB26635133 |
| 巻冊次 | ISBN:9784627078017 ; PRICE:2400円+税 |
| 登録日 | 2018.10.01 |
| 更新日 | 2018.10.01 |