Home › Authors › E. Engeler 👤 E. Engeler 5 books Books by E. Engeler Symposium on Semantics of Algorithmic Languages 2006 Metamathematik der Elementarmathematik 1983 Logic of Programs 1981 Logic of Programs (Lecture Notes in Computer Science) 1981 Symposium on Semantics of Algorithmic Languages (Lecture Notes in Mathematics) 1971