European summer meeting of the association for symbolic logic
scientific article; zbMATH DE number 29971