Computer science logic. Madrid, 1999сборник

Статьи, опубликованные в сборнике