with contributions by Christian Calude, Solomon Marcus and Doru Stefanescu, Zbigniew Stachniak, Richard Kaye, Antonio Di Nola, George Georgescu, Ada Lettieri, Arnon Avron, Reiner Hähnle, Alessandra Carbone, Stephen Semmes, Matthias Baaz, Georg Gottlob, Helmut Veith.
Institute of Computer Science AS CR Prague, 1999,