検索結果書誌詳細：蔵書検索システム

ログインの状態：ログインしていません。ログインすると利用状況の確認等のサービスを利用できます。		カート（予約候補） 0 登録されていません。

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数在庫数予約数などを確認できます。

所蔵数	1	在庫数	1	予約数	0

カートに入れるを押すとこの資料を予約する候補として予約カートに追加します。

いますぐ予約するを押すと認証後この資料をすぐに予約します。

電子書籍を読むを押すと電子図書館に移動しこの資料の電子書籍を読むことができます。

各蔵書資料に関する詳細情報です。

No.	所蔵館	資料番号	請求記号	所蔵場所	配架場所	帯出区分	状態	貸出
1	ミライｏｎ	5113362312	410.9/ﾔ/	３F	開架図書	帯出可	在庫	○

この資料の書誌詳細情報です。

書誌種別	図書（一般）
著者名	山田俊行／著
著者名ヨミ	ヤマダトシユキ
出版者	森北出版
出版年月	2018.7
ページ数	131p
大きさ	22cm
ISBN	4-627-07801-7
分類記号	410.96
書名	はじめての数理論理学
書名ヨミ	ハジメテノスウリロンリガク
副書名	証明を作りながら学ぶ記号論理の考え方
副書名ヨミ	ショウメイオツクリナガラマナブキゴウロンリノカンガエカタ
内容紹介	論理記号の読み書きから自然演繹の入り口までやさしくナビゲートする、数理論理学の入門書。簡単な命題や証明を題材に、記号論理の考え方をわかりやすく解説する。例題・演習問題も豊富に収録。
著者紹介	〈山田俊行〉筑波大学大学院博士課程電子・情報工学専攻修了。三重大学大学院工学研究科情報工学専攻講師。博士(工学)。研究分野は書き替え系、等式論理、組み合わせ最適化、ソフトウェアの解析と検証等。