資料詳細

【図書】はじめての数理論理学証明を作りながら学ぶ記号論理の考え方

山田　俊行　著 -- 森北出版 -- ２０１８．７ -- 410.96

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

資料コード	請求記号	所蔵館	所蔵場所	資料区分	状態
106506082	/410.9/31/	県立図書館	書庫２層	和書	在

状態の表記について
   在：「所蔵場所」にあります。
   貸出中：館外へ貸出中です。

   館内閲覧：館内でご利用ください。館外貸出はできません。
   図書館用：館内でご利用ください。図書館（団体）向けに貸し出す資料です。

タイトル	はじめての数理論理学
副書名	証明を作りながら学ぶ記号論理の考え方
著者	山田　俊行　著
出版者	東京　森北出版
出版年	２０１８．７
ページ数	１３１ｐ
大きさ	２２ｃｍ
一般注記	欧文タイトル：Ｍａｔｈｅｍａｔｉｃａｌ　Ｌｏｇｉｃ　ｆｏｒ　Ｂｅｇｉｎｎｅｒｓ
内容細目注記	文献：巻末
一般件名	記号論理学
NDC分類	410.96
内容紹介	論理記号の読み書きから自然演繹の入り口までやさしくナビゲートする、数理論理学の入門書。簡単な命題や証明を題材に、記号論理の考え方をわかりやすく解説する。例題・演習問題も豊富に収録。
ISBN	4-627-07801-7
ISBN13桁	978-4-627-07801-7
定価	￥２４００
本体価格	￥２４００