TY - BOOK AU - Mycielski Jan AU - Rozenberg Grzegorz AU - Salomaa Arto TI - Structures in logic and computer science: a selection of essays in honor of A. Ehrenfeucht U1 - 005.131 PY - 1997/// CY - Berlin PB - Springer-Verlag KW - Computer science KW - Logic programming ER -