検索結果 94 件
紙図書
国立国会図書館全国の図書館
- 目次・記事はじめに 数学基礎論の問題構制 本書の構成 I部 ...... 演習略解 付録C 文献案内 Mathematical Logic Expanded Revised Edition Tosh...
- 要約等予備知識を仮定せず，数学基礎論の基本的結果とその技法やアイディアを広くていねいに解説した本...
- 件名数学基礎論
紙デジタル図書
国立国会図書館全国の図書館
- 件名数学基礎論
- 典拠情報（件名/「を見よ」参照）Logic, Symbolic and mathematical
紙図書
国立国会図書館全国の図書館
- 要約等名著『集合論』の著者キューネンによる数学基礎論の教科書、待望の邦訳。公理的集合論からゲーデルの不完全性定理...
- 件名数学基礎論
- 典拠情報（件名/「を見よ」参照）Logic, Symbolic and mathematical
紙図書
国立国会図書館全国の図書館
- 目次・記事まえがき はじめに 数学基礎論からロジックへ 数学基礎論のルネサンス 本書の構成 序章 数学基礎論の考え方 1 数学の意味と形式 2 射影幾何の双対原理 3 ...
- 要約等数学基礎論の入門から最先端までを大胆な構成と精緻な記述で探る。21世紀の数学基礎論を切り開く力作。
- 内容細目序章 数学基礎論の考え方
紙図書
国立国会図書館全国の図書館
- 要約等...理の構文論と意味論，ならびに，数学基礎論の専門家以外にも名前はよく知ら......ており，これらの章のみを選んで数学基礎論の基本的な話題を紹介する入門書......の二つの章で紹介されている。 数学基礎論は数学や哲学に興味を持つ専門家......ている。しかし，それらの多くは数学基礎論の古典的な結果であるゲーデルの......理までの解説にとどまっており，数学基礎論の最近の展開には触れていない。......にはほとんど知られていなかった数学基礎論の新しく深い魅力を伝えるものである。
- 典拠情報（件名/「を見よ」参照）論証 (数学) Proof theory Modality (Logic)
紙図書
国立国会図書館全国の図書館
- 典拠情報（件名/「を見よ」参照）論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathematical Information science Computer ...
- 典拠情報（件名/「をも見よ」参照）論理学 人工生命 数学基礎論 マテリアルズインフォマティクス 論理実証主義 医療情報学 ...
紙記事
国立国会図書館全国の図書館
- 並列タイトル等（連結）Mathematical logic and its applications
- 並列タイトル等Mathematical logic and its applications
紙図書
国立国会図書館全国の図書館
- 件名数学基礎論
- 典拠情報（件名/「を見よ」参照）Logic, Symbolic and mathematical
- 関連情報数学基礎論シリーズ
紙図書
国立国会図書館全国の図書館
- 件名数学基礎論
- 典拠情報（件名/「を見よ」参照）Logic, Symbolic and mathematical
紙図書
国立国会図書館全国の図書館
- 件名数学基礎論
- 典拠情報（件名/「を見よ」参照）Logic, Symbolic and mathematical
- 関連情報数学基礎論シリーズ
紙図書
国立国会図書館全国の図書館
- 件名数学基礎論
- 典拠情報（件名/「を見よ」参照）Logic, Symbolic and mathematical
紙図書
国立国会図書館全国の図書館
- 内容細目...る健康のために 書評・エレット=ビショップ,ダグラス=ブリッジス著,『構成的解析』A・E・ハード,P・A・レーブ著...
- 件名数学基礎論
- 典拠情報（件名/「を見よ」参照）Logic, Symbolic and mathematical