薄葉 季路ウスバ トシミチ

著作一覧

詳細検索

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

  • ISBN:978-4-320-11148-6
  • 判型/ページ数:A5 / 304ページ
  • 発行年月:2016年03月
  • 本体価格:4,200円

 本書は数理論理学の基礎的な知識を持つ読者を対象として,様相論理の構文論と意味論,ならびに,数学基礎論の専門家以外にも名前はよく知られているゲーデルの不完全性定理,コーエンの強制法,タルスキの真理論と・・・

数学における証明と真理 書影
数学における証明と真理