資料詳細

  • 1 件中、 1 件目

はじめての数理論理学 在庫

山田 俊行／著 -- 森北出版 -- 2018.7 -- 410.96

所蔵

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

所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
１階中央図書 /410.96/ﾇ87/ 13471701 一般 帯出可 配架中 iLisvirtual

ページの先頭へ

資料詳細

タイトル はじめての数理論理学
副書名 証明を作りながら学ぶ記号論理の考え方
責任表示 山田 俊行 ／著  
出版者 森北出版
出版年 2018.7
ページ数 7,131p
大きさ 22cm
一般件名 記号論理学
NDC分類(9版) 410.96
内容紹介 論理記号の読み書きから自然演繹の入り口までやさしくナビゲートする、数理論理学の入門書。簡単な命題や証明を題材に、記号論理の考え方をわかりやすく解説する。例題・演習問題も豊富に収録。
ISBN 4-627-07801-7
ISBN13桁 978-4-627-07801-7 国立国会図書(別タブで開きます) カーリル(別タブで開きます) WebcatPlus(別タブで開きます) CiNiiBooks(別タブで開きます) アマゾン(別タブで開きます) ブクログ(別タブで開きます)
本体価格 ¥2400

ページの先頭へ