E.E. " · Erica Engeler · Erwin Engeler
| title | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Introduction to the Theory of Computation | 978-0-12-239250-4 | 1973 | ||
| Logic of Programs | 978-0-387-11160-5 | 1982 | ||
| Logic of Programs: Workshop, ETH Z??rich, May-July 1979: Workshop, ETH Zürich, May-July 1979 | 978-3-540-11160-3 | 2008 | ||
| Metamathematik Der Elementatmathematik | 978-0-387-12151-2 | 1983 | ||
| Symposium on Semantics of Algorithmic Languages | 978-3-540-05377-4 | 1971 | ||
| The Combinatory Programme | 978-3-7643-3801-5 | 1994 | K. Aberer · Beatrice Amrhein | |
Academic Press · Birkhäuser · Springer