The Mathematics Of MetamathematicsPDF电子书下载

查看更多关于的内容

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

查看更多关于的内容