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