The work of Engeler in the logic and algebra of computer science has been difficult to assess due to its having appeared in different types of publications. This collection of papers seeks to represent a coherent approach to the basic interrelationships between mathematics and computer science.