Computer science logic : 14th workshop, Annu.conf.of EACSL, Fischbachau, Aug.21-26, 2000: Proc. / EACSL, 2000. - 541 p. - Текст : непосредственный.