Bibliographic Information

数理論理学序説

前原昭二著

共立出版, 2010.9

復刊

Other Title

復刊数理論理学序説

Title Transcription

スウリ ロンリガク ジョセツ

Available at  / 89 libraries

Note

『数理論理学序説 (共立全書160)』(共立出版 1966.6) の復刊

Description and Table of Contents

Description

論理計算の形式的な実際面とともに、記号論理学の基本的な考え方や基礎概念をわかりやすく説明する。

Table of Contents

  • 1 命題論理(真理関数;Boole代数;真理関数の標準形;Tautology ほか)
  • 2 述語論理(命題関数;超限的命題;数学的理論における命題の形式的表現;述語論理 ほか)

by "BOOK database"

Details

  • NCID
    BB03373606
  • ISBN
    • 9784320019430
  • Country Code
    ja
  • Title Language Code
    jpn
  • Text Language Code
    jpn
  • Place of Publication
    東京
  • Pages/Volumes
    3, 4, 214, 5p
  • Size
    22cm
  • Classification
  • Subject Headings
Page Top