Logic colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic August 9-15, 1998 - Association for Symbolic Logic (USA); Pudlák, Pavel; Buss, Samuel R.; Hájek, Petr, 1940-2016; Logic colloquium '98 (1998 : Prague) (Natick, Massachusetts : Association for Symbolic Logic, 2000)
Obsahuje bibliografii
Keywords: matematická logika; axiomatika; sborníky; mathematical logic