Introduction

Francine F. Abeles

Mark E. Fuller

pp. 1-4

in: Francine F. Abeles, Mark E. Fuller (eds), Modern logic 1850-1950, East and West, Basel, Birkhäuser, 2016

Abstract

This volume of Logica Universalis honors the memory of Irving H. Anellis (1946–2013). Irving's interests in logic, mathematics, and their history were both wide and deep. In Mathematical Logic and Set Theory he specialized in meta-mathematics, proof theory, set-theoretic foundations of analysis and number theory, universal algebra (especially Boolean algebra and algebraic logic), and foundations of group theory.

Cited authors

Anellis Irving H.