The Gallery Algebraic logic Carol Karp Alfred Tarski Ernst Schröder Helena Rasiowa Philip Jourdain Leon Henkin 1