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