はじめての数理論理学 -証明を作りながら学ぶ記号論理の考え方-
山田 俊行

予約数: 0
予想待ち時間: なし
図書館で予約する 携帯から
Amazonを見る 携帯から
【内容紹介】
論理記号の読み書きから自然演繹の入り口までやさしくナビゲートする、数理論理学の入門書。簡単な命題や証明を題材に、記号論理の考え方をわかりやすく解説する。例題・演習問題も豊富に収録。