応用論理

Author(s)

• 桔梗, 宏孝 キキョウ, ヒロタカ

Bibliographic Information

応用論理

桔梗宏孝著

（情報数学講座, 1）

共立出版, 1996.3

Title Transcription

オウヨウ ロンリ

Note

参考文献: p[199]-200. 索引: 巻末

Description and Table of Contents

Table of Contents

• 第１章　古典命題論理
• 第２章　一階古典述語論理
• 第３章　論理プログラミング
• 第４章　数え上げと対角線論法
• 第５章　代入と型付きラムダ式

by "BOOK database"

Details

• NCID: BN14007364
• ISBN:
  • 4320026519
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Place of Publication: 東京
• Pages/Volumes: vii, 212p
• Size: 22cm
• Classification:
  • NDC8 : 410.96
  • NDC7 : 410.12
  • NDLC : MA41
• Subject Headings:
  • BSH : 記号論理学
  • NDLSH : 記号論理学
• Parent Bibliography ID:
  • BN09103438