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

著者

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

書誌事項

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

山田俊行著

森北出版, 2018.7

タイトル別名

Mathematical logic for beginners

タイトル読み

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

注記

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

参考文献: 巻末

詳細情報

• NII書誌ID(NCID): BB26635133
• ISBN:
  • 9784627078017
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 東京
• ページ数/冊数: vii, 131p
• 大きさ: 22cm
• 分類:
  • NDC7 : 410.12
  • NDC8 : 410.96
  • NDC9 : 410.96
  • NDC10 : 410.96
• 件名:
  • NDLSH : 記号論理学