Irving H. Anellis was an historian of logic a the Indiana University – Purdue University at Indianapolis and former doctoral student of historian of logic Jean van Heijenoort. He was Member of the American Mathematical Society, of the Association of Symbolic Logic and Bertrand Russell Society among the many others. His early research had centered on mathematical logic, particularly in proof theory and metamathematics, and on applications of logic to algebraic structures. His historical research has centers on the work of Bertrand Russell in set theory and logic, and of Charles Sanders Peirce in algebra and algebraic logic; on the history of proof theory, with special reference to the roles of Löwenheim-Skolem Theorem and Herbrand’s Fundamental Theorem; and the history of logic and mathematics in Russia. He is Author of seven books and of almost one hundred scientific and philosophical papers on philosophy and history of logic.The esteemed scholar and historian of logic Dr. Irving H. Anellis passed away on the 15th of July, 2013.
