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


https://www2.tosyo-saga.jp/kentosyo2/opac/switch-detail.do?bibid=1102131085

所蔵

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

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
県立(本館) 新庫2層 /410.9/Y19/ 116006289 一般図書 利用可 在架 iLisvirtual

資料詳細

タイトル はじめての数理論理学
副書名 証明を作りながら学ぶ記号論理の考え方
著者 山田 俊行 /著  
出版者 森北出版
出版年 2018.7
ページ数 7,131p
大きさ 22cm
一般件名 記号論理学
NDC分類 410.96 / 410.96
内容紹介 論理記号の読み書きから自然演繹の入り口までやさしくナビゲートする、数理論理学の入門書。簡単な命題や証明を題材に、記号論理の考え方をわかりやすく解説する。例題・演習問題も豊富に収録。
ISBN 978-4-627-07801-7

所蔵場所が「大和書庫」(所蔵場所の名称が、「大和講堂」、「大和研修」、
「大和新1」、「大和新2」、「大和新3」)の本については、遠方に保管
しているため、お取り寄せに10日程度かかる場合がありますので、
ご了承ください。(貸出中の場合は、返却後となります。)
なお、「大和書庫」の本は、あらかじめ予約をお願いいたします。

状態が「市町巡回貸出」の本については、市町図書館支援のため優先貸出中です。
当館での提供開始までに最長3か月程度かかりますので、ご了承ください。