Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

数学における証明と真理 : 様相論理と数学基礎論

Main
数学における証明と真理 : 様相論理と数学基礎論

数学における証明と真理 : 様相論理と数学基礎論

佐野勝彦, 倉橋太志, 薄葉季路, 黒川英徳, 菊池誠

0 / 5.0

Avez-vous aimé ce livre?

Quelle est la qualité du fichier téléchargé?

Veuillez télécharger le livre pour apprécier sa qualité

Quelle est la qualité des fichiers téléchargés?

Année:

2016

Editeur::

共立出版

Langue:

japanese

Pages:

302

ISBN 10:

4320111486

ISBN 13:

9784320111486

Fichier:

PDF, 8.74 MB

IPFS:

,

japanese, 2016

Lire en ligne

La conversion en est effectuée

La conversion en a échoué

Cela peut vous intéresser

Gaisi Takeuti, 竹内外史 — 数理論理学—語の問題

倉田令二朗 — 数学基礎論へのいざない

大橋一範 — 無限次元リー環へのアプローチ

三井孝美 — 解析的数論―加法的理論―,

望月清 — 波動方程式の散乱理論 (紀伊國屋数学叢書 23)

中内伸光 — じっくり学ぶ曲線と曲面―微分幾何学初歩

佐野勝彦,倉橋太志,薄葉季路,黒川英徳,菊池誠 — 数学における証明と真理: 様相論理と数学基礎論

西山享 — フリーズの数学スケッチ帖: 数と幾何のきらめき

渡辺信三 — 確率微分方程式

竹内外史 — 数学基礎論の世界ロジックの雑記帳から

古森雄一, 小野寛晰 — 現代数理論理学序説

木田雅成 — 連分数

佐藤隆夫 — 群のコホモロジー

栗田稔 — 微分形式とその応用―曲線・曲面から解析力学まで

宮西正宜 — 代数幾何学

小野寺嘉孝 — 物性物理／物性化学のための群論入門

淡波亮作 — Blender99 きっと絶対に挫折しない3DCG入門シーズン1.5 01〜03合冊版 Blender99合冊版 (Newday Newlife 出版部)

淡波亮作 — Blender99 きっと絶対に挫折しない3DCG入門シーズン1.5 04〜06合冊版 Blender99合冊版 (Newday Newlife 出版部)

Mots Clefs