Structures in logic and computer science: a selection of essays in honor of A. Ehrenfeucht by Arto Salomaa | Menrva Books | MenrvaBooks