検索結果書誌詳細

内容紹介

大学初年級の数学的思考を経験した人を対象に、現代数理論理学がどのような内容のものかを説明した入門書。述語論理の完全性、モデル理論、チューリング計算機と帰納的関数、集合論等を取り上げる。詳しい訳者解説も収録。

＋ 追加情報を見る

タイトルコード

1000050028983

書誌種別

図書

著者名

J.N.クロスリー／[ほか]著

著者名ヨミ

J N クロスリー

出版者

共立出版

出版年月

2017.4

ページ数・枚数

6,185p

大きさ・形態

22cm

ISBN

4-320-11318-3

分類記号

410.96

書名

現代数理論理学入門

書名ヨミ

ゲンダイ スウリ ロンリガク ニュウモン

件名1

記号論理学