"P(IAA1030601)" . "ASL" . "Natick" . "Annotation not available"@en . "Buss, S. R." . "Pudl\u00E1k, Pavel" . "Annotation not available" . "3"^^ . . "[E49C1F34EFC7]" . . "1" . . . . "716182" . "Logic Colloquium' 98 Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic."@en . "1"^^ . . "1-56881-114-4" . "RIV/67985807:_____/00:06000066!RIV/2001/AV0/A06001/N" . . "5"^^ . "Logic Colloquium' 98 Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic." . "H\u00E1jek, Petr" . "Logic Colloquium' 98 Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic." . "Logic Colloquium' 98 Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic."@en . . . . . "RIV/67985807:_____/00:06000066" . "H\u00E1jek, Petr" . "Logic Colloquium'98" .