| データ種別 | 図書 |
|---|---|
| 出版者 | 東京 : コロナ社 |
| 出版年 | 1989.12 |
| 本文言語 | 日本語 |
| 大きさ | viii, 177p ; 22cm |
| 別書名 | 奥付タイトル:Mathematical logic |
| 一般注記 | 参考文献: p[172]-173 索引: 巻末 |
| 著者標目 | 林, 晋(1953-) <ハヤシ, ススム> |
| 件 名 | BSH:記号論理学 NDLSH:記号論理学 |
| 分 類 | NDC8:410.96 NDC7:410.12 |
| 書誌ID | 2000129841 |
| ISBN | 4339025364 |
| NCID |
BN04117719 
|
所蔵情報を非表示
0
吉田地区
| 配架場所 | 巻 次 | 請求記号 | 資料番号 | 状 態 | コメント | ISBN | 刷 年 | 利用注記 | 予約 |
|---|---|---|---|---|---|---|---|---|---|
| 理:数学 |
|
410.12/H72 | 0089234264 |
|
4339025364 |
|
|
|
書誌詳細を非表示
類似資料
-
1
情報科学のための論理数学 / 細井勉著
-
2
スマリヤン記号論理学 : 一般化と記号化 / Raymond Smullyan[著] ; 川辺治之訳
-
3
知識処理論 / 萩野達也著
-
4
論理 / 廣瀬健著
-
5
応用論理 / 桔梗宏孝著
-
6
情報科学における論理 / 小野寛晰著
-
7
情報の論理数学入門 : ブール代数から述語論理まで / 小倉久和, 高濱徹行共著
-
8
Foundations of constructive mathematics : metamathematical studies / Michael J. Beeson U.S.,Germany
-
9
はじめての数理論理学 : 証明を作りながら学ぶ記号論理の考え方 / 山田俊行著
-
10
線型論理入門 / 竹内外史著
お問い合わせ
Copyright© Yamaguchi University Library. All rights reserved