The Mathematics Of MetamathematicsPDF电子书下载
- 电子书积分：16 积分如何计算积分？
- 作 者：
- 出 版 社：Panstwowe Wydawnictwo Naukowe
- 出版年份：1963
- ISBN：
- 页数：519 页
图书介绍：
《The Mathematics Of Metamathematics》目录
标签：
PART ONE LATTICES 11
CHAPTER Ⅰ PRELIMINARY TOPOLOGICAL，ALGEBRAIC AND LATTICE-THEORETICAL NOTIONS 11
CHAPTER Ⅱ BOOLEAN ALGEBRAS 68
CHAPTER Ⅲ TOPOLOGICAL BOOLEAN ALGEBRAS 93
CHAPTER Ⅳ PSEUDO-BOOLEAN ALGEBRAS 123
PART TWO CLASSICAL LOGIC 144
CHAPTER Ⅴ FORMALIZED MATHEMATICAL THEORIES 144
CHAPTER Ⅵ THE ALGEBRA OF FORMALIZED LANGUAGES 209
CHAPTER Ⅶ CLASSICAL PROPOSITIONAL CALCULI 256
CHAPTER Ⅷ CLASSICAL ELEMENTARY FORMALIZED THEORIES 279
PART THREE NON-CLASSICAL LOGICS 376
CHAPTER Ⅸ INTUITIONISTIC PROPOSITIONAL CALCULI 376
CHAPTER Ⅹ INTUITIONISTIC ELEMENTARY FORMALIZED THEORIES 411
CHAPTER Ⅺ THE POSITIVE LOGIC AND THE MODAL LOGIC 460
BIBLIOGRAPHY 489
AUTHOR INDEX 505
相关图书
作者其它书籍
出版社其它书籍