書誌番号	0000091923
言語	jpn : 日本語
NACSIS ID	BB26635133
和洋区分	和資料
書名	はじめての数理論理学 : 証明を作りながら学ぶ記号論理の考え方
書名カナ	ハジメテ ノ スウリ ロンリガク : ショウメイ オ ツクリナガラ マナブ キゴウ ロンリ ノ カンガエカタ
その他タイトル	標題紙タイトル:Mathematical logic for beginners
著者名	山田俊行著
出版事項	東京 : 森北出版, 2018.7
形態	vii, 131p ; 22cm
分類	NDC7版 : 410.12 NDC8版 : 410.96
巻冊次表示	巻書名 ISBN 表示価格 書籍リンク 9784627078017 2400円+税
著者名典拠	山田, 俊行
件名	[普通件名] : NDLSH:記号論理学||キゴウロンリガク//K
注記	三重大学工学部情報工学科の講義「数理論理学」の配布資料や講義ノートをもとにしたもの 参考文献: 巻末

該当件数：1件

	巻書名	所蔵ID	配架場所	請求記号	備考	返却予定日	ステータス	予約数
		10066145	一般	410.96 Y			貸出可能	0

[予約]：チェックした資料に対し予約申込を行います[請求]：チェックした資料に対し請求票を印刷します