Logic in algebraic form: Three languages and theories (Studies in logic and the foundations of mathematics)

Content: Edited by Page ii Copyright page Page iv Dedication Page v Acknowledgments Page vii Introduction Pages 1-4 Chapter 1 Set-Theoretic Operations for First-Order Logic with Equality Pages 5-20 Chapter 2 First Algebraization Pages 21-30 Chapter 3 First Algebraization Continued Pages 31-45 Chapter 4 Augmented Cylindric Theory for Sets of Finite Sequences Pages 46-66 Chapter 5 Completeness Pages 67-78 Chapter 6 Algebras of Sets and Algebras of Theories Pages 79-100 Chapter 7 Second Algebraization Pages 101-111 Chapter 8 Augmented Cylindric Theory for Sets of П‰-Sequences Pages 112-118 Chapter 9 A Theory of Transformational and of Boolean Operations Pages 119-148 Chapter 10 Theory of Transformational Relations Pages 149-172 Chapter 11 Some Cases of Incompleteness Pages 173-181 Bibliography Pages 182-183 Index of Symbols Pages 184-192 Index of Names, Phrases, Subjects Pages 193-204