ロンリ ト イミ
論理と意味 / 長尾真, 淵一博 [著]
(岩波講座情報科学 ; 7)
| データ種別 | 図書 |
|---|---|
| 出版情報 | 東京 : 岩波書店 , 1983.1 |
| 本文言語 | 日本語 |
| 大きさ | ix, 202p ; 22cm |
目次／あらすじ
書誌詳細を非表示
| 内容注記 | 記号論理学 命題論理 述語論理 述語論理のモデル理論 述語論理とプログラミング 様相と内包 Montague 文法入門 |
|---|---|
| 一般注記 | 参考書: p197-198 |
| 著者標目 | 長尾, 真(1936-) <ナガオ, マコト> 淵, 一博(1936-) <フチ, カズヒロ> |
| 件 名 | NDLSH:記号論理学 |
| 分 類 | NDC8:007.08 NDC7:549.92 NDLC:M121 NDLC:MA41 |
| 書誌ID | TT20085659 |
| ISBN | 4000101579 |
| NCID | BN00245681 |
類似資料
この資料の利用統計
このページへのアクセス回数：15回