Erwin Engeler

• Introduction to the theory of computation
• Algorithmic properties of structure
• Algorithmic properties of structures
• Berechnungstheorie für Informatiker
• Berechnungstheorie für Informatiker
• Foundations of mathematics
• Metamathematik der Elementarmathematik
• Symposium on semantics of algorithmic languages
• The Combinatory Programme
• The Combinatory Programme (Progress in Theoretical Computer Science)
• Berechnungstheorie fur Informatiker
• Formal languages