このページのリンク

利用統計

  • このページへのアクセス:62回

  • 貸出数:4回
    (1年以内の貸出数:4回)

<図書>
はじめての数理論理学 : 証明を作りながら学ぶ記号論理の考え方
ハジメテ ノ スウリ ロンリガク : ショウメイ オ ツクリナガラ マナブ キゴウ ロンリ ノ カンガエカタ

責任表示 山田俊行著
データ種別 図書
出版者 東京 : 森北出版
出版年 2018.7
本文言語 日本語
大きさ vii, 131p : 挿図 ; 22cm

所蔵情報


理系図1F 開架 130012018010692 410.96/Y 19 2018

書誌詳細

別書名 標題紙タイトル:Mathematical logic for beginners
一般注記 三重大学工学部情報工学科の講義「数理論理学」の配布資料や講義ノートをもとにしたもの
参考文献: 巻末
著者標目 山田, 俊行 <ヤマダ, トシユキ>
件 名 NDLSH:記号論理学
分 類 NDC7:410.12
NDC8:410.96
書誌ID 1001663797
ISBN 9784627078017
NCID BB26635133
巻冊次 ISBN:9784627078017 ; PRICE:2400円+税
登録日 2018.10.01
更新日 2018.10.01

類似資料

この資料を借りた人はこんな資料も借りています