松本 和夫マツモト カズオ

著作一覧

詳細検索

復刊数理論理学

  • ISBN:978-4-320-01682-8
  • 判型/ページ数:A5 / 206ページ
  • 発行年月:2001年08月
  • 本体価格:3,700円

 論理学は言うまでもなく、真な命題から別の真な命題を導く推論法則を一般的に研究する学問であり、数理論理学は数学的な方法を用いて研究される論理学と考えることができる。数理論理学は数学における証明の構造を・・・

復刊数理論理学 書影
復刊数理論理学

数理論理学 増補版

  • ISBN:978-4-320-01118-2
  • 判型/ページ数:A5 / 202ページ
  • 発行年月:1970年02月
  • 本体価格:1,000円

中心となる基本定理を各章でいろいろの角度から扱い,とくにゲンツェンの方法に重点をおいている。専門外の読者を想定してていねいに解説。

数理論理学 書影
数理論理学