TY  - BOOK
AU  - Buss Samuel R
AU  - Hájek Petr
AU  - Pudlák Pavel
ED  - Logic Colloquium
ED  - Association for Symbolic Logic
TI  - 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 
SN  - 1568811136
AV  - QA9.A1 
U1  - 511.3 
PY  - 2000///
CY  - Natick, Mass.
PB  - Association for Symbolic Logic
KW  - Logic Symbolic and mathematical
KW  - Congresses
N1  - Includes bibliographical references and index
ER  -