This book presents diverse topics in mathematical logic such as proof theory, meta-mathematics, and applications of logic to mathematical structures. The collection spans the first 100 years of modern logic and is dedicated to the memory of Irving Anellis, founder of the journal 'Modern Logic', whose academic work was essential in promoting the algebraic tradition of logic, as represented by Ch…
“Modern Logic, 1850–1950, East and West is a memorial volume for the respected historian of logic Irving H. Anellis … . an excellent job identifying the distinctive features of this work in accessible terms and is able to reflect on its historical importance and broader social context from firsthand experience. … an excellent starting point for any historical study of this avenue of mat…