はじめての数理論理学 : 証明を作りながら学ぶ記号論理の考え方 / 山田俊行著
ハジメテ ノ スウリ ロンリガク : ショウメイ オ ツクリナガラ マナブ キゴウ ロンリ ノ カンガエカタ
| データ種別 | 図書 |
|---|---|
| 出版者 | 東京 : 森北出版 |
| 出版年 | 2018.7 |
所蔵情報を非表示
| 配置場所 | 巻次等 | 請求記号 | 資料番号 | 状 態 | コメント | ISBN | 請求メモ | 予約 |
|---|---|---|---|---|---|---|---|---|
| 板橋2F 一般書架 |
|
410.96/Y19 | 0363151 |
|
9784627078017 |
書誌詳細を非表示
| 本文言語 | 日本語 |
|---|---|
| 大きさ | vii, 131p : 挿図 ; 22cm |
| 別書名 | 標題紙タイトル:Mathematical logic for beginners |
| 一般注記 | 三重大学工学部情報工学科の講義「数理論理学」の配布資料や講義ノートをもとにしたもの 参考文献: 巻末 |
| 著者標目 | 山田, 俊行 <ヤマダ, トシユキ> |
| 件 名 | NDLSH:記号論理学 |
| 分 類 | NDC7:410.12 NDC8:410.96 NDC9:410.96 NDC10:410.96 |
| ISBN | 9784627078017 |
目次／あらすじ
類似資料
この資料の利用統計
このページへのアクセス回数：42回
※2018年9月5日以降
全貸出数：0回
(1年以内の貸出：0回)