[logic-ml] Leon Horsten 氏の公理的真理理論講演会のお知らせ(8/22)