復刊 現代数理論理学入門
J.N.クロスリー C.J.アッシュ C.J.ブリックヒル J.C.スティルウェル N.H.ウィリアムス 著 / 田中尚夫 訳
著者 | J.N.クロスリー C.J.アッシュ C.J.ブリックヒル J.C.スティルウェル N.H.ウィリアムス 著 / 田中尚夫 訳 |
---|---|
出版社 | 共立出版 |
判型 | A5 |
頁数 | 200 頁 |
ジャンル | 専門書 |
ISBNコード | 9784320113183 |
商品内容
大学初年級の数学的思考を経験した人を対象に、現代数理論理学がどのような内容のものかを解説した入門書。
『共立全書533. 現代数理論理学入門』として1977年初版発行以来、長年にわたり多数の読者にご愛読いただいてまいりました。この度、多くの読者からの要望を受け、より読みやすいA5版に拡大し、単行本に改装し発行するものです。
▼目次
第1章 歴史的概観
第2章 述語論理の完全性
第3章 モデル理論
第4章 チューリング計算機と帰納的関数
第5章 ゲーデルの不完全性定理
第6章 集合論
付録 進んだ読者の手びき
訳注
訳者解説
『共立全書533. 現代数理論理学入門』として1977年初版発行以来、長年にわたり多数の読者にご愛読いただいてまいりました。この度、多くの読者からの要望を受け、より読みやすいA5版に拡大し、単行本に改装し発行するものです。
▼目次
第1章 歴史的概観
第2章 述語論理の完全性
第3章 モデル理論
第4章 チューリング計算機と帰納的関数
第5章 ゲーデルの不完全性定理
第6章 集合論
付録 進んだ読者の手びき
訳注
訳者解説
読後レビュー
復刊投稿時のコメント
全15件
おすすめ商品
-
実体概念と関数概念 新装版 認識批判の基本的諸問題の研究
税込 7,040円
-
計算道具の歴史 石、そろばんから電卓まで
計算道具の歴史 石、そろばんから電卓まで
税込 3,960円
-
数覚とは何か? 心が数を創り、操る仕組み
税込 1,760円
-
[ 古書 ]新版 秘密の博物誌 <象徴哲学大系 II>
税込 3,520円
-
古典物理の数理 <岩波オンデマンド>
税込 4,730円
-
ガードナー不思議の国のパズル百科
税込 7,700円
-
マヤ・アステカ・インカ文化数学ミステリー 生贄と暦と記数法の謎
税込 2,200円
-
数学の文化史
税込 2,970円
-
科学と仮説
税込 1,320円
-
【古書】Play Puzzle パズルの百科 全3巻
税込 8,800円
-
経済物理学
税込 6,050円
-
カルノー・熱機関の研究 新装版
税込 3,740円
支払い / 配送方法
送料は全国一律380円(税込)です。代金引換をご利用の場合、配送手数料とは別に代金引換手数料300円(税込)が別途必要になります。
✛