[logic-ml] 第52回 MLG数理論理学研究集会のご案内