北里大学OPAC

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

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

配架場所	巻　次	請求記号	登録番号	状　態	コメント	ISBN	刷　年	予約	利用注記
未来工学部(教養図書館BF)		410.96\|\|Y19	71134137			9784627078017	2021.3

大きさ	vii, 131p : 挿図 ; 22cm
別書名	標題紙タイトル:Mathematical logic for beginners
件　名	NDLSH:記号論理学
一般注記	三重大学工学部情報工学科の講義「数理論理学」の配布資料や講義ノートをもとにしたもの参考文献: 巻末
分　類	NDC7:410.12 NDC8:410.96 NDC9:410.96 NDC10:410.96
書誌ID	BB10177477
本文言語	日本語
巻冊次	ISBN:9784627078017 ; PRICE:2400円+税
NCID	BB26635133