| 著者 | 桔梗 宏孝 |
|---|---|
| 出版社 | 共立出版 |
| ジャンル | 専門書 |
| ISBNコード | 9784320026513 |
| 登録日 | 2019/03/02 |
| リクエストNo. | 68060 |
目次
第1章 古典命題論理
第2章 一階古典述語論理
第3章 論理プログラミング
第4章 数え上げと対角線論法
第5章 代入と型付きラムダ式
（共立出版ホームページより引用）
第1章 古典命題論理
第2章 一階古典述語論理
第3章 論理プログラミング
第4章 数え上げと対角線論法
第5章 代入と型付きラムダ式
（共立出版ホームページより引用）
投票コメント （全1件）
2019/03/02
2019/03/02