はじめての数理論理学 : 証明を作りながら学ぶ記号論理の考え方

Author(s)

• 山田, 俊行 ヤマダ, トシユキ

Bibliographic Information

はじめての数理論理学 : 証明を作りながら学ぶ記号論理の考え方

山田俊行著

森北出版, 2018.7

Other Title

Mathematical logic for beginners

Title Transcription

ハジメテ ノ スウリ ロンリガク : ショウメイ オ ツクリナガラ マナブ キゴウ ロンリ ノ カンガエカタ

Note

三重大学工学部情報工学科の講義「数理論理学」の配布資料や講義ノートをもとにしたもの

参考文献: 巻末

Details

• NCID: BB26635133
• ISBN:
  • 9784627078017
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Place of Publication: 東京
• Pages/Volumes: vii, 131p
• Size: 22cm
• Classification:
  • NDC7 : 410.12
  • NDC8 : 410.96
  • NDC9 : 410.96
  • NDC10 : 410.96
• Subject Headings:
  • NDLSH : 記号論理学