検索条件入力 ＞ 検索結果一覧：（本学所蔵） ＞ はじめての数理論理学 : 証明を作りながら学ぶ記号論理の考え方
書誌情報:はじめての数理論理学 : 証明を作りながら学ぶ記号論理の考え方
ハジメテ ノ スウリ ロンリガク : ショウメイ オ ツクリナガラ マナブ キゴウ ロンリ ノ カンガエカタ
山田俊行著
東京 : 森北出版 , 2018.7
vii, 131p : 挿図 ; 22cm
 WebCatPlus を見る
CiNii Books を見る


  


所蔵一覧
巻号予約人数所在請求記号登録番号資料ID状態貸出区分備考 
1 0図書館3階
  • 410.12
  • Yam
  •  
02099360209936 利用可
図書 

選択行を：  

書誌詳細
刊年2018
形態vii, 131p : 挿図 ; 22cm
別書名Mathematical logic for beginners
注記三重大学工学部情報工学科の講義「数理論理学」の配布資料や講義ノートをもとにしたもの
参考文献: 巻末
出版国日本
標題言語日本語
本文言語日本語
著者情報山田, 俊行 (ヤマダ, トシユキ)
分類NDC7:410.12
NDC8:410.96
NDC9:410.96
NDC10:410.96
ISBN9784627078017
件名NDLSH:記号論理学
NCIDBB26635133
番号OTHN : TRC:18035513

WebCatPlus を見る    CiNii Books を見る
▲ページトップへ